Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Exam Inspection | Office Hours | E9.1, 0.07 | 13.12.24 | 13.12.24 | No | ||
| Project Kick-Off | Project | 06.01.25 | 06.01.25 | No |
Formal analysis of real-world security protocols
Aleksi Peltonen, Cas Cremers