Registration for this course is open until Sunday, 03.11.2024 23:59.
News
Currently, no news are available
Formal Analysis of Real-World Security Protocols
This is an advanced course in formal analysis of security protocols. The course consists of a theoretical and a practical part. In the theoretical part, you will learn the foundations of protocol verification in the symbolic model. In the practical part, you will use a state-of-the-art cryptographic verification tool, the Tamarin prover, to model and analyze security protocols.
The course is taught in English and is suitable for both bachelor and master students with a background in computer science. It is highly recommended to, at the very least, have taken CySec1/CySec2 or Security prior to this course.
Course Goals
In this course, you will learn about the symbolic model of cryptography, and how to model protocols within it. You will learn how to read specifications of protocols, and how to translate them into formal models. Finally, you will use the Tamarin prover, a state-of-the-art verification tool, to model and verify security properties of small/medium size protocols.
Organization
The course consists of weekly live lectures, exercises, a midterm exam, and a project.
The exercises and the project are made to be solved in teams of two.
Time and location
The lectures will take place in-person every Monday from 14.00 (c.t.) - 16.00, starting 21.10.2024.
Location: E9 1 (CISPA), room 0.05 (lecture hall ground floor).
Important dates
- Registration deadline: 03.11.2024 - 23:59h
- Lectures start: 21.10.2024
- Mid-term exam: 02.12.2024
- Project start: 06.01.2025 (tentative)
- Project deadline: TBA
- Lectures start: 21.10.2024
- Mid-term exam: 02.12.2024
- Project start: 06.01.2025 (tentative)
- Project deadline: TBA
Passing criteria
To pass the course, a student needs to:
- receive at least 50% of the total exercise points,
- pass the midterm exam, and
- pass the project.
- receive at least 50% of the total exercise points,
- pass the midterm exam, and
- pass the project.
Grading
The final grade will depend on the midterm exam and the project:
- Midterm: 30% of the final grade
- Project: 70% of the final grade
- Midterm: 30% of the final grade
- Project: 70% of the final grade
The grade can be negatively impacted if a student lets their partner do the majority of the project or is not able to answer questions about the solution. Not contributing at all to the project will lead to failing the course.