Title |
Status |
Starttime |
Endtime |
the whole day |
|
Reading Group |
Scheduled |
08.11.2018 12:15 |
08.11.2018 14:00 |
No |
|
Reading Group |
Scheduled |
22.11.2018 12:15 |
22.11.2018 14:00 |
No |
|
Paper Presentation: 2: SAT-based model-checking for security protocols analysis |
Scheduled |
13.12.2018 12:00 |
13.12.2018 14:00 |
No |
|
Paper Presentation: 3: Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif |
Scheduled |
20.12.2018 12:00 |
20.12.2018 14:00 |
No |
|
Paper Presentation: 4: Secure Information Flow as a Safety Problem |
Scheduled |
10.01.2019 12:00 |
10.01.2019 14:00 |
No |
|
Paper Presentation: 7: Automatic Discovery and Quantification of Information Leaks |
Scheduled |
17.01.2019 12:00 |
17.01.2019 14:00 |
No |
|
Paper Presentation: 8: Verifying Constant-Time Implementations |
Scheduled |
24.01.2019 12:00 |
24.01.2019 14:00 |
No |
|