This page is outdated -- please select other pages from the top bar
Past PhD students
- Marko Horvat.
Formal analysis of modern security protocols in current standards.
PhD Thesis,
University of Oxford, 2016.
- Michèle Feltz.
Strengthening the Security of Key Exchange Protocols.
PhD Thesis,
ETH Zurich, May 2014.
- Simon Meier.
Advancing Automated
Security Protocol Verification.
PhD Thesis,
ETH Zurich, January 2013.
Past Bachelor/Master students
- Lara Schmid.
Improving the ISO/IEC 11770 standard.
Bachelor Thesis,
ETH Zurich, 2013.
- Tomas Zgraggen.
Analysing and Repairing the ISO 11770 Standard for Key
Management.
Bachelor Thesis,
ETH Zurich, 2012.
- Rati Gelashvili.
Attacks on re-keying and renegotiation in
Key Exchange Protocols.
Bachelor Thesis,
ETH Zurich, 2012.
- Adrian Kyburz.
An automated formal analysis of the security of the Internet Key Exchange (IKE) protocol in the presence of
compromising adversaries.
Master Thesis,
ETH Zurich, 2010.
- Adrian Kyburz.
Defending Against Compromising Adversaries.
Semester Thesis,
ETH Zurich, 2010.
- Alberto Piai. Extending the Scyther
tool to verify aliveness and data
agreement Semester Thesis. ETH Zurich,
2008.
- Simon Meier. Formalizing an
Operational Semantics for
Security Protocols. Semester
Thesis and Master Thesis. ETH Zurich,
2007.
- Gijs Hollestelle. Automatic
Classification of Attacks on
Security Protocols, Master
Thesis. Eindhoven University of
Technology, 2005.
- Niek Palm. Bewijzen van
Security Protocollen in een
Trace Model, Master
Thesis (in Dutch). Eindhoven
University of Technology, 2005.
- Lutger Kunst. Automated
Visualisation of Attacks, OOTI
project. Eindhoven University of
Technology, 2004.
- Leon Schrijvers and Martijn
Coenen. War driving in
Eindhoven, Project. Eindhoven
University of Technology, 2003.
PhD committees
-
Alicia Filipiak,
Design and formal analysis of security protocols, an application to electronic voting and mobile payment.
University of Lorraine, France, 2018.
- Lucca Hirschi, Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice. ENS Paris-Saclay, France, 2017.
- Marjan Skrobot, On Composability and Security of Game-based Password-Authenticated Key Exchange. University of Luxembourg, Luxembourg, 2017.
- Cyrille Wiedling, Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs. University of Lorraine, France, 2014.
- Thomas Gibson-Robinson, Analysing Layered Security Protocols.
University of Oxford, UK, 2013.
- Martin Eian. Robustness in Wireless Network Access Protocols.
NTNU Trondheim, Norway, 2012.
- Augustin Sarr. Key Agreement Protocols: Security Models, Analysis, and Designs. University of Grenoble, France, 2010.