Timetable

Event Category: Meeting
Title: Paper Presentation: 2: SAT-based model-checking for security protocols analysis
Location
Details
Starttime: 13.12.2018 12:00
Endtime: 13.12.2018 14:00
the whole day: No

Selected Topics in Formal Methods for Security Swen Jacobs