Student projects
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 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.
Example project: Parallel Compromise Analysis of the Clark-Jacob protocols
In this project, the student will use the BRUTUS cluster at ETH to perform a large-scale compromise analysis of a set of protocols. This will provide new insights into the security of the protocols and may reveal new attacks.