Event Categories
- Name
- Project
- Farbe
- Green
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Project Kick-Off | Scheduled | 06.01.2025 15:15 | 06.01.2025 15:45 | No |
|
Formal analysis of real-world security protocols
Aleksi Peltonen, Cas Cremers