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 research interests include
security - especially software security, (implementations of) security protocols, smartcards, JavaCard,
and smartcard applications such as electronic passports and EMV),
security-critical infrastructures (esp. smart grids) - ,
formal specification and verification of programs
(for object-oriented languages, especially for
Java and using JML),
and programming language theory.
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