Organisation and participation in workshop, seminar, course: Verifying Security Protocols in Tamarin (Event)
Activity:
Participating in or organising an event types
Organisation and participation in workshop, seminar, course
Activity Information
Activity type
Organisation and participation in workshop, seminar, course
Attending event
Verifying Security Protocols in TamarinEvent type
CourseEvent date
25/01/2016 – 29/01/2016Event location
IT University of CopenhagenCopenhagen SDenmark