Activities per year
Activities
- 4 results
Search results
-
Formal Methods and Tools for Security (FMATS4)
Dusan Repel (Participant)
11 Jun 2015 → 12 Jun 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Real World Cryptography 2015
Dusan Repel (Participant)
7 Jan 2015 → 9 Jan 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Introduction to Verification and Testing (INVEST)
Dusan Repel (Participant)
28 Nov 2014Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Defcon London (DC4420)
Dusan Repel (Participant)
28 Jan 2014Activity: Participating in or organising an event › Participation in workshop, seminar, course