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