You cannot register for this course anymore.
News
Lecture 0: SlidesWritten on 27.10.25 by Erik Pallas Dear students, we just uploaded the slides of today's lectures, with some minor additions. |
Announcement: Course Time and DatesWritten on 13.10.25 (last change on 13.10.25) by Erik Pallas Dear students, our lecture will take place Mondays, 14-16h c.t. in E9 1, room 0.05, starting on October 27th, 2025. Course details and important dates are now available on the CMS main page and will shortly be added to the calendar. As we have already reached the participant limit, we would also… Read more Dear students, our lecture will take place Mondays, 14-16h c.t. in E9 1, room 0.05, starting on October 27th, 2025. Course details and important dates are now available on the CMS main page and will shortly be added to the calendar. As we have already reached the participant limit, we would also like to ask everybody who is not planning to actively participate in the course to unregister and give other students the opportunity to join this lecture. Thanks a lot for your understanding! |
Formal Analysis of Real-World Security Protocols
Course Goals
Organization
Time and location
Important dates
- Project start: 12.01.2026
- Project deadline: 06.03.2026
Communication
Passing criteria
- receive at least 50% of the total exercise points,
- pass the midterm exam, and
- pass the project.
Grading
- Midterm: 30% of the final grade
- Project: 70% of the final grade
