I am a member of the Information
Security group at the ETH Zürich, led
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.)
- 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.