Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Mid-term Registration Deadline | Exam | 01.12.25 | 01.12.25 | No | |||
| Mid-term Exam | Exam | E9 1, 0.05 | 08.12.25 | 08.12.25 | No | ||
| Office Hour | OfficeHour | E9 1, 0.05 | 01.12.25 | 01.12.25 | No |
Formal analysis of real-world security protocols
Cas Cremers