Timetable

Event Category: Meeting
Title: Paper Presentation: 3: Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif
Location
Details
Starttime: 20.12.2018 12:00
Endtime: 20.12.2018 14:00
the whole day: No

Selected Topics in Formal Methods for Security Swen Jacobs