Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Virtual Lecture | Lecture | Zoom | 1 | 04.05.22 | 04.05.22 | No | |
| Virtual Lecture | Lecture | Zoom | 1 | 27.04.22 | 27.04.22 | No | |
| Virtual Lecture | Lecture | Zoom | 1 | 20.04.22 | 20.04.22 | No |
Formal analysis of real-world security protocols
Cas Cremers