Verifying Security Protocols in Tamarin
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Carsten Schürmann - Organizer
25 Jan 2016 → 29 Jan 2016
Course
Course | Verifying Security Protocols in Tamarin |
---|---|
Location | IT University of Copenhagen |
Country | Denmark |
City | Copenhagen S |
Period | 25/01/2016 → 29/01/2016 |
Internet address |
ID: 80610065