Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Reading Group | Meeting | 22.11.18 | 22.11.18 | No | |||
| Reading Group | Meeting | 08.11.18 | 08.11.18 | No | |||
| 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 |