ITU
ITU

Verifying Security Protocols in Tamarin

Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

Carsten Schürmann - Organizer

25 Jan 201629 Jan 2016

Course

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

ID: 80610065