Simon Meier
Introduction
I am a member of the Information
Security group at the ETH Zürich, led
by Prof.
David Basin.
Currently, I am pursuing my PhD studies in the area of security
protocol verification under the supervision of Prof. David Basin and Dr. Cas Cremers.
(Main topics can be selected to the left, further subtopics can appear to the right.)
Recent events
- February 10th, 2012 We released the first public version of the tamarin prover for security protocol verification. See the corresponding paper for an explanation of the underlying verification theory, which supports an expressive security protocol model based on multiset rewriting, first-order logic, and equational theories.
- December 16th, 2011 Our paper on Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication got accepted at POST 20212, which is part of ETAPS.