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.
My research interest are formal methods and security,
and ideally combining the two, though much of my research
into security is more applied.
In more detail, my main research interests are
- security: software
security; smartcards and smartcard applications, such as electronic passports and EMV payment cards;
security of online identification, payment systems, and smart grids.
using formal methods to improve software security:
protocol analysis, fuzzing, model-based testing, and
state machine learning as a way of reverse engineering
implementations of security protocols;
program specification and verification, in particular Java and Java Card, and the specification
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.