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

Research

My research interests: programming language theory, formal specification and verification of programs (for object-oriented languages, especially for Java and using JML), security (especially software security, (implementations of) security protocols, smartcards, and smartcard applications such as electronic passports and EMV), and type 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) (2011)
• Hardware and Operating System Security (IMC001) (2011)
• Forensic Science (2011) [Slides Digital Forensics]
• Security in Organisations (I00153) (2011)
• III - Introductie Informatica en Informatiekunde (IPI001) (2011)
• 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.

• CARDIS 2012- Smart Card Research and Advanced Application Conference, Deadline for submissions: TBA
• SecureIT - First International conference on Security of Internet of Things, Deadline for submissions: TBA
• RFIDSec 2012, the 8th Workshop on RFID Security and Privacy 2012 will be in Nijmegen- Deadline for submissions: March 2012
• ESSoS 2012 (Int. Symposium on Engineering Secure Software and Systems)
• FoVeOOS 2011 (Formal Verification of Object-Oriented Software)

Projects

• 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