Conferences & Workshops
- Cryptacus 2017 Workshop, November 16-18, 2017, Nijmegen, The Netherlands. [ slides ]
- 2017 Grande Region Security and Reliability Day GRSRD'17, March 9, 2017, Luxembourg. [ slides ]
- 12th Workshop on RFID and IoT Security, RFIDSec 2016, November 30 - December 2, City University of Hong Kong, Hong Kong. [ slides ]
- 1st IEEE European Symposium on Security and Privacy EuroS&P'16, March 21-24, 2016, Saarbrücken, Germany.
- 2016 Grande Region Security and Reliability Day GRSRD'16, March 16, 2016, Nancy, France.
- International Summer School on Logical Methods for Safety and Security of Software Systems Marktoberdorf 2017, 2 August - 11 August 2017, Marktoberdorf, Germany.
- 16th International School on Foundations of Security Analysis and Design FOSAD'16, 29 August - 2 September 2016, Bertinoro, Italy.
- 15th International School on Foundations of Security Analysis and Design FOSAD'15, 31 August - 5 September 2015, Bertinoro, Italy.
- Verification Technology, Systems & Applications VTSA'15, August 24–28, 2015, Koblenz, Germany.