Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Office Hour Midterm | Office Hours | E9 1 (CISPA), room 0.05 (lecture hall ground floor) | 26.11.24 | 26.11.24 | No |
Formal analysis of real-world security protocols
Aleksi Peltonen, Cas Cremers