Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Office Hour | OfficeHour | Discord | 2 | 01.07.22 | 01.07.22 | No | |
| Office Hour | OfficeHour | Discord | 2 | 08.07.22 | 08.07.22 | No | |
| Midterm Exam | Exam | E9.1 CISPA - Lecture Hall | 08.06.22 | 08.06.22 | No |
Formal analysis of real-world security protocols
Cas Cremers