Activities per year
Activities
- 2 Organisation and participation in workshop, seminar, course
- 2 results
Search results
-
Verifying Security Protocols in Tamarin
Schürmann, C. (Organizer)
25 Jan 2016 → 29 Jan 2016Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Code Scanning
Schürmann, C. (Organizer)
7 Apr 2014 → 20 May 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course