Homepage of Erik Poll
I am associate professor in the Digital Security (DiS) research group of ICIS, the Institute for Computing and Information Science, at the Faculty of Science of Radboud University.![[Erik]](images/erik.jpg)
|
Homepage of Erik PollI am associate professor in the Digital Security (DiS) research group of ICIS, the Institute for Computing and Information Science, at the Faculty of Science of Radboud University. |
|
My core research interest is software security. Most cybersecurity problems originate in software and my research aims to improve security in software engineering through the use of formal methods and more generally rigorous and systematic approaches in software engineering such as formal specification and verification, type systems, model-based testing, fuzzing, protocol state fuzzing and the LangSec approach to secure input handling.
Case studies in using formal methods for security include EMV, TLS, SSH and internet banking.
In more applied security research I have investigated security and privacy of
smartcards,
RFID tags,
TEEs,
payment cards,
e-passports,
Android key storage,
EU digital identity wallets,
the MIME standard for email attachments,
the OPC-UA standard for industrial systems,
smart grids
(including smart
meters
and EV
charging),
automotive systems
and
the use of AI in education.
![[JML logo]](images/jml-mug3.png)
Earlier I worked on program specification and verification for Java and Java Card and the specification language JML. Research into Java Card in our group resulted in some open-source smartcard software and RFID tools.
Some outliers, topic-wise: with Tommy Koens I wrote some papers analysing the (almost invariably flawed) reasons for thinking that blockchain might be a sensible solution for something and my former PhD student Alex Serban looked at adversarial attacks on AI systems.
My current PhD students are Seyed Benham Andarzian, Cristian Daniele, Job Doesburg and Patrick Lodeweegs.
The master courses I teach are part of the Cyber Security, Cyber Security and AI, and Software Science specialisations in our Computing Science Master. The bachelor courses are part of the cybersecurity track in our Computing Science Bachelor.
Other teaching-related stuff:
