Peer Reviewed Publications
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
With David Basin and Cas Cremers. POST 2012 (Part of ETAPS), Tallin, Estonia, April 2012.
To appear. [preprint]
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
With David Basin and Cas Cremers. CSF 2010.
[pdf] [bibtex] [slides of the CSF'10 presentation] [proof visualization]
Formalization of an Operational Semantics of Security Protocols
Diploma Thesis, ETH Zurich, 2007.
The slides used for the thirty-minute presentation are also available: [english].
Protocols: A method for the systematic design of security protocols
Talk given at the FOSAD'08 summer school.
An Embedded Security Protocol Logic in Isabelle/HOL