Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Reading Group | Meeting | 08.11.18 | 08.11.18 | No | |||
| Reading Group | Meeting | 22.11.18 | 22.11.18 | No | |||
| Paper Presentation: 2: SAT-based model-checking for security protocols analysis | Meeting | 13.12.18 | 13.12.18 | 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: 4: Secure Information Flow as a Safety Problem | Meeting | 10.01.19 | 10.01.19 | No |