Event Categories
- Name
- Seminar
- Farbe
- Blue
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Kick-Off Meeting | Scheduled | 18.04.2023 13:00 | 18.04.2023 14:00 | No |
|
Seminal Papers in Security Protocol Verification
Cas Cremers, Alexander Dax, Niklas Medinger