Selected Topics in Formal Methods for Security Swen Jacobs

Export as .ics-file
Items per page:

Type Title Location Serial Start End All Day
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 
Meeting Reading Group 22.11.18 22.11.18 No 
Meeting Reading Group 08.11.18 08.11.18 No 
Items per page:

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators