My research interests are formal methods and security,
and ideally combining the two, though much of my research
into security is more applied.
In more detail, I'm interested in
- security: software
security; smartcards and smartcard applications, such as electronic passports and EMV payment cards; TEEs;
applied security analysis of e.g. payment systems and smart grids.
using formal methods to improve software security:
protocol analysis, fuzzing, model-based testing, and
state machine inference for analysing implementions of security protocols;
program specification and verification, in particular for Java and Java Card
Bachelor courses I teach are part of the Cyber
Security track in our Bachelor programme in Computer Science.
Master courses I teach are part of our
specialisation in Cyber Security aka the TRU/e Master
(formerly the Kerckhoffs Master).
Other teaching-related stuff:
Program committees, events, etc.