Homepage of Erik Poll Associate professor in the   Digital Security (DiS) group   Institute for Computing and Information Sciences   Radboud University Nijmegen   Address and contact information

(photo by Sjoerd van der Hucht)

Research

• papers, also reachable via my Google scholar profile.
• slides of some talks
• media attention

My research interests are formal methods and security, and ideally combining the two, though much of my security research is more applied. In more detail, I'm interested in

• (software) security: smartcards, RFID, and their applications such as electronic passports and EMV payment cards; TEEs; applied security analysis of e.g. payment systems, smart grids (incl. EV charging) and automative applications.
• formal methods, esp. using formal methods to improve software security: LangSec (i.e. language-based security); protocol analysis, fuzzing, model-based testing and state machine inference for security protocols such as EMV, TLS, SSH and internet banking; program specification and verification, in particular for Java and Java Card.

Research on Java Card in our group resulted in some smartcard software.

Teaching

• Hacking in C (IPC025)
• Web Security (IPC026)
• Software Security (IMC051 and ISOFSE)
• Hardware Security (IMC001)
• Research internship (NWI-IMC047)

Other teaching-related stuff:

• Topics for research internships and thesis projects
• Onderwijsmateriaal over Cybersecurity voor middelbare scholen (in Dutch)
• Exercises using JML and ESC/Java2
• Introductory exercises using Uppaal: model checking for dummies
• Security Course at Federal University of Rio de Janeiro (UFRJ), 2014
• IPA course on Smartcards & RFID, 2011
• Introduction to theorem proving with PVS for IPA, 2008

Organisations

• ACCSS, the Dutch ACademic Cyber Security Society.
• dcypher, the Dutch Cybersecurity Platform for Higher Education and Research, has officially been disbanded, but the website still exists and we still operate a dcypher mailing list with announcements for the Dutch academic computer security community.
• FTfJP Formal Techniques for Java-like Programs
• OWASP Netherlands the Dutch chapter of OWASP (Open Web Application Security Project)

Conferences and other events

• LangSec 2021 workshop @ IEEE S&P, May 27, 2020. Deadline for paper submissions: January 15, 2021
• 1st International Workshop on Distributed Infrastructure for Common Good, Dec 7-11, Delft, The Netherlands: Deadline for submissions: Sept 21
• INTERSCT conference on Cyber Security of Internet-of-Things, Eindhoven, October 14 & 15, 2020
• SPIDA workshop @ Euro S&P (Workshop on Security Protocol Implementations: Development and Analysis), April 2018
• Lorentz workshop on Systematic Analysis of Security Protocol Implementations, June 2018

Projects

• INTERSECT (Internet of Things Security), funded by NWO as part of the NWA programme
• iCAVE (Integrated cooperative automated vehicles), funded by NWO TTW
• Charge & Go, funded by EFRO
• Betuwse Energie Samenwerking (BES), funded by EFRO