Associate professor in the
Digital Security (DS) group
Institute for Computing and Information Sciences of the
Radboud University Nijmegen.
Address and contact information
and some slides of talks
are available on-line, and pointers to media attention
for my research.
My main research interests are
- security: software
security, smartcards, smartcard applications, such as such as electronic passports and EMV,
security protocols, and applied security (e.g. for the smart grid).
formal methods: formal specification
and verification, foundations of object-oriented programming
languages, in particular Java and Java Card, and the specification
especially using formal methods to improve software security
(e.g. protocol fuzzing, model-based testing, and automated
We started a Bachelor program Cyber security in autumn of 2013.
Master courses I teach are part of the
Kerckhoffs Master in Computer Security.
Program committees, events, etc.