2016, Part of book or chapter of book (Gierlichs, B.; Poschmann, Y.A. (ed.), Cryptographic Hardware and Embedded Systems – CHES 2016: 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings, pp. 301-320)
2017, Part of book or chapter of book (Lange, T.; Takagi, T. (ed.), Post-Quantum Cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings, pp. 367-383)
2009, Article in monograph or in proceedings (S&P 2009 : 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA, pp. 3-15)
2014, Article in monograph or in proceedings (DIFTS'14 : Proceedings of the 3rd International Workshop on Design and Implementation of Formal Tools and Systems, October 20, 2014 Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, pp. 1-8)
2016, Part of book or chapter of book (Gruner, S. (ed.), ICT Education: 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers, pp. 160-167)
2014, Article in monograph or in proceedings (Bella, G. (ed.), STAST 2014 : 4th Workshop on Socio-Technical Aspects in Security and Trust : Proceedings, pp. 40-47)
2017, Part of book or chapter of book (Handschuh, H. (ed.), Topics in Cryptology – CT-RSA 2017: The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14–17, 2017, Proceedings, pp. 223-237)
2002, Article in monograph or in proceedings (VerifiCard'02: Informal proceedings of the annual Verificard meeting, 7th-9th January 2002, Centre International de Rencontres Mathématiques in Marseille, pp. 1-13)
2016, Article in monograph or in proceedings (Weippl, E. (ed.), WPES '16 Proceedings of the 2016 ACM on Workshop on Privacy in the Electronic Society, Vienna, Austria, October 24, 2016, pp. 111-122)
2017, Part of book or chapter of book (Bartels, S.; Jansen, C.; Schuijling, B. (ed.), Vertrouwen in het burgelijke recht. Liber amicorum prof. mr. S.C.J.J. Kortmann, pp. 239-245)
2014, Part of book or chapter of book (Dimitrakakis, C. (ed.), CCS '14 : Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, pp. 299-309)
2017, Article in monograph or in proceedings (Paskevich, A.; Wies, T. (ed.), Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 66-83)
2012, Part of book or chapter of book (Schmitt, J. (ed.), Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, pp. 317-330)
2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
2008, Article in monograph or in proceedings (Scandariato, Riccardo; Rusello, Giovanni (ed.), Proceedings of the 2008 workshop on Middleware Security Leuven, Belgium December 2, 2008, pp. 13-18)
2010, Article / Letter to editor (International Journal of Education and Development Using Information and Communication Technology, vol. 6, iss. 4, (2010), pp. 83-101)
2016, Article in monograph or in proceedings (Kornyshova, E. (ed.), CBI 2016: 2016 IEEE 18th Conference on Business Informatics, 29th August - 1st September, Paris, France, pp. 238-247)
2016, Part of book or chapter of book (Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39)
2016, Part of book or chapter of book (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
2011, Article in monograph or in proceedings (ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, pp. 337-346)
2015, Article in monograph or in proceedings (Heunen, C. (ed.), QPL 201: proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), Oxford, U.K., July 15-17, 2015, pp. 196-207)