Verifying Security Protocols in Tamarin

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

Period25 Jan 201629 Jan 2016
Event typeCourse
LocationCopenhagen S, Denmark