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 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.

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 (2011) [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