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
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators