Semester and Master Projects

We have several available Semester and Master Projects in the area of security protocol analysis for ETH students.

Using recently developed techniques, we aim to investigate existing security protocols from a new angle. The available projects include topics such as attack finding, tool development, and formal modeling.

Prerequisites:

  • 252-0202-00L: Information Security (Basin, Maurer)

If you are an ETH student and you are interested, have your own ideas for a project, or have any questions, then please e-mail me for an appointment (see contact page) for more information.