Simon Meier
Publications
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]
Diploma Thesis
- A
Formalization of an Operational Semantics of Security Protocols
Diploma Thesis, ETH Zurich, 2007.
[pdf] [bibtex]
The slides used for the thirty-minute presentation are also available: [english].
Talks
-
Channel
Protocols: A method for the systematic design of security protocols
Talk given at the FOSAD'08 summer school.
Software Development
- ESPL:
An Embedded Security Protocol Logic in Isabelle/HOL
[more information]