Associate professor in the
Digital Security (DS) group
Institute for Computing and Information Sciences of the
Radboud University Nijmegen.
Address and contact information
We have a new Bachelor program Cyber security.
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.
and some slides of talks
are available on-line, and info on media attention
for my research.
Master courses I teach are part of the
MSc Programme in Computing Security of the
Program committees, events, etc.
- C-DAX (Cyber-secure Data and Control Cloud for
Smart Grids), funded by EU FP7
project in the EU ARTEMIS Embedded Computing Systems Initiative
- NESSOS (Network of Excellence on Engineering Secure Future Internet Software Services and Systems)
COST action IC0701: Formal Verification of Object-Oriented Software, funded by ESF
Robin (1/2/2006-30/4/2008), funded by EU PASR
Mobius, funded by EU IST FP6
PINPAS JC, funded by STW Sentinels
JASON, funded by STW Sentinels
Samasc funded by NWO, finished February 2006
funded by EU IST FP5, finished November 2003