Export as .ics-file
(1 - 5 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 |
(1 - 5 of 7)
Items per page: