Event Categories
- Name
- Meeting
- Farbe
- Blue
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Reading Group | Scheduled | 08.11.2018 12:15 | 08.11.2018 14:00 | No |
|
| Reading Group | Scheduled | 22.11.2018 12:15 | 22.11.2018 14:00 | No |
|
| Paper Presentation: 2: SAT-based model-checking for security protocols analysis | Scheduled | 13.12.2018 12:00 | 13.12.2018 14:00 | No |
|
| Paper Presentation: 3: Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif | Scheduled | 20.12.2018 12:00 | 20.12.2018 14:00 | No |
|
| Paper Presentation: 4: Secure Information Flow as a Safety Problem | Scheduled | 10.01.2019 12:00 | 10.01.2019 14:00 | No |
|
| Paper Presentation: 7: Automatic Discovery and Quantification of Information Leaks | Scheduled | 17.01.2019 12:00 | 17.01.2019 14:00 | No |
|
| Paper Presentation: 8: Verifying Constant-Time Implementations | Scheduled | 24.01.2019 12:00 | 24.01.2019 14:00 | No |
|