Current Projects

  1. SPINACH: Security Protocol Improvement and Adversary Change (ETHIIRA grant, ETH Zurich)

Current PhD students

  1. Simon Meier
  2. Michèle Feltz
  3. Marko Horvat

Conferences/Workshops

  1. ISPEC 2012, The 8th International Conference on Information Security Practice and Experience (ISPEC 2012). Hangzhou, China, April 9-12, 2012 PC member
  2. FAST 2011, 8th International Workshop on Formal Aspects of Security & Trust (FAST2011). Leuven, Belgium, 15-16 September, 2011 PC member
  3. Security and Rewriting seminar, Dagstuhl, Germany, September 2011.
  4. TOSCA'11, Theory of Security and Applications (Affiliated with ETAPS 2011), Saarbruecken, Germany, March 2011. PC member
  5. FAST 2010, 7th International Workshop on Formal Aspects of Security & Trust (FAST2010). Pisa, Italia, 16-17 September, 2010, PC member
  6. STM 2010, 6th International Workshop on Security and Trust Management (STM'10). Athens, Greece, 23-24 September, 2010. PC member
  7. ACNS 2010, International Conference on Applied Cryptography and Network Security, Beijing, China, June 22-25, 2010. PC member
  8. SecCo 2010, 8th International Workshop on Security Issues in Concurrency, Paris, France, 2010. PC member
  9. SEC 2010, FIP International Information Security Conference, Brisbane, Australia, September 20-23, 2010. PC member
  10. ISARCS 2010, 1st International Symposium on Architecting Critical Systems (Federated with CompArch 2010), Prague, Czech Republic, June 23-25, 2010. PC member
  11. ARSPA-WITS'10, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Affiliated with ETAPS 2010), Paphos, Cyprus, March 2010. PC member
  12. SAC 2010, The 25th ACM Symposium on Applied Computing 22-26 March 2010, Lausanne, Switzerland. Track on Computer Security (9th edition). PC member
  13. STM 2009, Fifth International Workshop on Security and Trust Management, Saint Malo, France, September 2009. PC member
  14. EUROPKI'09, the sixth European PKI Workshop, Pisa, Italy, September 9-11, 2009. PC member
  15. FCS'09, Workshop on Foundations of Computer Security. 9th-10th August 2009, Los Angeles, California, USA. PC member
  16. VODCA 2008, 3rd Workshop on Views On Designing Complex Architectures, Bertinoro, Italy, August 30-31, 2008. PC member
  17. FCS-ARSPA-WITS'08, Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Pittsburgh, PA, USA, June 21-22, 2008. PC member
  18. EUROPKI'08, the fifth European PKI Workshop, Trondheim, Norway, June 2008. PC member
  19. IS'07,The 2nd International Symposium on Information Security, Vilamoura, Algarve, Portugal, November 2007. PC member
  20. Formal Protocol Verification Applied seminar, Dagstuhl, Germany, October 2007.
  21. STM 2007, Third International Workshop on Security and Trust Management, Dresden, Germany, September 2007. PC member
  22. FCS-ARSPA'07, Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, Wroclaw, Poland, July 2007. PC member
  23. SESYS 2006, International Conference on Systems and Networks Communications, Tahiti, French Polynesia, 2006. PC member
  24. STM'05, First International Workshop on Security and Trust Management, Milan, Italy, September 2005. Vice chair, Editor

Teaching at ETH Zurich

  • Formal Methods for Information Security
  • Current Topics in Information Security
  • Information Security
  • Security Engineering

PhD committee

  1. Augustin Sarr. Key Agreement Protocols: Security Models, Analysis, and Designs. University of Grenoble, France, 2010.

Previous supervision

  1. 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.
  2. Adrian Kyburz. Defending Against Compromising Adversaries. Semester Thesis, ETH Zurich, 2010.
  3. Alberto Piai. Extending the Scyther tool to verify aliveness and data agreement Semester Thesis. ETH Zurich, 2008.
  4. Simon Meier. Formalizing an Operational Semantics for Security Protocols. Semester Thesis and Master Thesis. ETH Zurich, 2007.
  5. Gijs Hollestelle. Automatic Classification of Attacks on Security Protocols, Master Thesis. Eindhoven University of Technology, 2005.
  6. Niek Palm. Bewijzen van Security Protocollen in een Trace Model, Master Thesis (in Dutch). Eindhoven University of Technology, 2005.
  7. Lutger Kunst. Automated Visualisation of Attacks, OOTI project. Eindhoven University of Technology, 2004.
  8. Leon Schrijvers and Martijn Coenen. War driving in Eindhoven, Project. Eindhoven University of Technology, 2003.

Working groups

I'm a member of:

  • STM (Security and Trust Management), which is an ERCIM working group.

Tutorials

  1. Tutorial on black-box security protocols Cas Cremers and Sjouke Mauw
    June 1, 2004. At the SAM '04 workshop, Ottawa, Canada.

Past Project Involvements

  1. ComposeSec: Compositional Methods for the Design and Validation of Security Protocols and Architectures (Hasler Foundation, ManCom)
  2. AVANTSSAR: Automated Validation of Trust and Security of Service-Oriented Architectures (EU FP7)