Past PhD students

  1. Katriel Cohn-Gordon (PhD student)
  2. Martin Dehnel-Wild (PhD student)
  3. Nicholas Moore (PhD student)
  4. Kevin Milner (PhD student)
  5. Luke Garratt (PhD student)
  6. Marko Horvat. Formal analysis of modern security protocols in current standards. PhD Thesis, University of Oxford, 2016.
  7. Michèle Feltz. Strengthening the Security of Key Exchange Protocols. PhD Thesis, ETH Zurich, May 2014.
  8. Simon Meier. Advancing Automated Security Protocol Verification. PhD Thesis, ETH Zurich, January 2013.

Past Bachelor/Master students

  1. Lara Schmid. Improving the ISO/IEC 11770 standard. Bachelor Thesis, ETH Zurich, 2013.
  2. Tomas Zgraggen. Analysing and Repairing the ISO 11770 Standard for Key Management. Bachelor Thesis, ETH Zurich, 2012.
  3. Rati Gelashvili. Attacks on re-keying and renegotiation in Key Exchange Protocols. Bachelor Thesis, ETH Zurich, 2012.
  4. 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.
  5. Adrian Kyburz. Defending Against Compromising Adversaries. Semester Thesis, ETH Zurich, 2010.
  6. Alberto Piai. Extending the Scyther tool to verify aliveness and data agreement Semester Thesis. ETH Zurich, 2008.
  7. Simon Meier. Formalizing an Operational Semantics for Security Protocols. Semester Thesis and Master Thesis. ETH Zurich, 2007.
  8. Gijs Hollestelle. Automatic Classification of Attacks on Security Protocols, Master Thesis. Eindhoven University of Technology, 2005.
  9. Niek Palm. Bewijzen van Security Protocollen in een Trace Model, Master Thesis (in Dutch). Eindhoven University of Technology, 2005.
  10. Lutger Kunst. Automated Visualisation of Attacks, OOTI project. Eindhoven University of Technology, 2004.
  11. Leon Schrijvers and Martijn Coenen. War driving in Eindhoven, Project. Eindhoven University of Technology, 2003.