and some slides of talks
are available on-line, as well as some pointers to media attention.
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
Other teaching-related stuff:
Program committees, events, etc.