News
Room Change: Lecture on 26.10 moved to Room 0.02
Written on 20.10.2026 14:23 by Aurora Naska
Dear students,
The next lecture happening on 26.10 has moved to room 0.02, in E9 1 (CISPA building).
Formal analysis of real-world security protocols
Cas Cremers