News
Lecture 5: Slides & Exercise Sheet
Written on 05.01.2026 16:26 by Erik Pallas
Dear students,
we just released the slides of today's lecture and this week's exercise sheet.
Formal analysis of real-world security protocols
Cas Cremers