ITU

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

CourseVerifying Security Protocols in Tamarin
LocationIT University of Copenhagen
CountryDenmark
CityCopenhagen S
Period25/01/2016 → 29/01/2016
Internet address

ID: 80610065