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

• Topics voor afstudeeropdrachten/MSc Projects
• Software Security (ISOFSE) (2013)
• Hardware Security: smartcards and RFID (IMC001) (2012)
• Forensic Science (2012) [Slides Digital Forensics]
• III - Introductie Informatica en Informatiekunde (IPI001) (2012)
• IPA course on Smartcards & RFID (2011)
• Introduction to theorem proving with PVS for IPA PhD students (2008)
• Exercises using JML and ESC/Java2
• Exercise using Uppaal
• Informatie voor middelbare scholen in Sprint-Up

Organisations

• FTfJP - Formal Techniques for Java-like Programs
• ICT-Innovatieplatform IIP Veilig Verbonden
• Safe-NL - platform for computer security research in the Netherlands
• OWASP Netherlands - Open Web Application Security Project - Netherlands local chapter
• IFIP WG 11.2: Small Systems Security

Program committees, events, etc.

• Workshop on Smart Energy Grid at the 20th ACM CCS 2013 - Deadline for submission July 23.
• ESSOS 2014 (International Symposium on Engineering Secure Software and Systems)
• Security and Privacy track at ICT.OPEN 2012, Oct 22-23, 2012
• CARDIS 2012- Smart Card Research and Advanced Application Conference
• SecureIT - First International conference on Security of Internet of Things
• RFIDSec 2012, the 8th Workshop on RFID Security and Privacy 2012 in Nijmegen
• ESSoS 2012 (Int. Symposium on Engineering Secure Software and Systems)
• FoVeOOS 2011 (Formal Verification of Object-Oriented Software)

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