Event Categories
- Name
- Office Hours
- Farbe
- Orange
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Office Hour Midterm | Scheduled | 26.11.2024 12:30 | 26.11.2024 17:30 | No |
|
Formal analysis of real-world security protocols
Aleksi Peltonen, Cas Cremers