Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
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 |
|
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: 2: SAT-based model-checking for security protocols analysis |
Meeting |
|
|
13.12.18 |
13.12.18 |
No |
|