2012

  • Mobile Cloud Computing: Privacy, Security and Reliability [slides]
    Martijn Warnier
    Talk at the Mobile Cloud Computing Workshop, Espoo, Finland, 2012.

2011

2010

2009

2008

2007


2006


2005


2004


2003

2002

  • The Coinductive Approach to Verifying Cryptographic Protocols, [slides]
    Jesse Hughes and Martijn Warnier
    The 16th International Workshop on Algebraic Development Techniques (WADT 2002), Frauenchiemsee, Germany, 2002.



Martijn Warnier
Last modified: Mon May 7 14:15:24 CEST 2012