Past PhD students
- Katriel Cohn-Gordon (PhD student)
- Martin Dehnel-Wild (PhD student)
- Nicholas Moore (PhD student)
- Kevin Milner (PhD student)
- Luke Garratt (PhD student)
- 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.