Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Paper Presentation: 8: Verifying Constant-Time Implementations | Meeting | 24.01.19 | 24.01.19 | No | |||
| Paper Presentation: 7: Automatic Discovery and Quantification of Information Leaks | Meeting | 17.01.19 | 17.01.19 | No | |||
| Paper Presentation: 4: Secure Information Flow as a Safety Problem | Meeting | 10.01.19 | 10.01.19 | No | |||
| Paper Presentation: 3: Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif | Meeting | 20.12.18 | 20.12.18 | No | |||
| Paper Presentation: 2: SAT-based model-checking for security protocols analysis | Meeting | 13.12.18 | 13.12.18 | No | |||
| Reading Group | Meeting | 22.11.18 | 22.11.18 | No | |||
| Reading Group | Meeting | 08.11.18 | 08.11.18 | No |