Homepage of Erik Poll
I am associate professor in the Digital Security (DiS) group of ICIS (Institute for Computing and Information Sciences) at the Radboud University Nijmegen Faculty of Science.![[Erik]](images/erik.jpg)
|
Homepage of Erik PollI am associate professor in the Digital Security (DiS) group of ICIS (Institute for Computing and Information Sciences) at the Radboud University Nijmegen Faculty of Science. |
|
My core research interest is software security. Most cyber problems originate in software and my research aims to address some of the root cause of these problems 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 and the LangSec approach to input handling).
![[JML logo]](images/jml-mug3.png)
Case studies in the use of
formal methods for improve security include
protocol analysis of EMV protocol
and
state machine inference for various security protocols, incl.
EMV bank cards,
TLS,
SSH and
internet banking.
Earlier I worked on
program specification and verification, in particular for Java and Java Card
using the specification language
JML.
Research on Java Card in our group resulted in some
smartcard software.
In more applied research I have investigated security across many applications domains, such as smartcards, RFID tags, TEEs, e-passports, payment cards, payment systems, smart grids (incl. smart meters and charging of electric cars) and automotive.
Some outliers, topic-wise: with Tommy Koens I wrote a couple of papers analysing the (usually flawed) reasons for thinking that blockchain is a sensible solution and my former PhD student Alex Serban looked at adversarial attacks.
My current PhD students are Seyed Benham Andarzian and Cristian Daniele.
Master courses I teach are part of the Cyber Security specialisation in our Computing Science Master.
Other teaching-related stuff:
