2016, Article in monograph or in proceedings (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)
2018, Article in monograph or in proceedings (Garcia-Alfaro, J. (ed.), Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings, pp. 113-129)
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)
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)
Hiep, H.-D.; Maathuis, O.; Bian, J.; Boer, F. de; Eekelen, M. van; Gouw, S de
2020, Article in monograph or in proceedings (Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234)
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)
2016, Article in monograph or in proceedings (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, Article in monograph or in proceedings (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
2009, Article in monograph or in proceedings (Drossopoulou, S. (ed.), ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545)
2014, Part of book or chapter of book (Hansen, M.; Hoepman, J.-H.; Leenes, R. (ed.), Privacy and Identity Management for Emerging Services and Technologies, pp. 1-11)
2015, Article in monograph or in proceedings (Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology - LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, pp. 64-83)