Erik Poll
Associate professor in the
Digital Security (DS) group
at the
Institute for Computing and Information Sciences of the
Radboud University Nijmegen.
Address and contact information
We have a new Bachelor program Cyber security.
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
language JML,
especially using formal methods to improve software security.
My papers
and some slides of talks
are available on-line, and info on media attention
for my research.
Teaching
Master courses I teach are part of the
MSc Programme in Computing Security of the
Organisations
Program committees, events, etc.
Projects
- C-DAX (Cyber-secure Data and Control Cloud for
Smart Grids), funded by EU FP7
- CHARTER,
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
-
VerifiCard,
funded by EU IST FP5, finished November 2003