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
PhD students I currently supervise are
and Pol Van Aubel.
- security analysis and design of smartcards, RFID, smartcard applications such as electronic passports and EMV payment cards, TEEs,
(incl. EV charging)
and automative applications.
formal methods and software security:
formal methods to improve software security,
protocol analysis, fuzzing, model-based testing and
state machine inference for security protocols such as
program specification and verification, in particular for Java and Java Card.
Research on Java Card in our group resulted in some
Bachelor courses I teach are part of the Cyber
Security track in our Computing Science Bachelor.
Master courses I teach are part of
Master's specialication in Cyber Security,
and used to be part of
part of our
joint TRU/e master in Cyber Security
Other teaching-related stuff:
Organisations and Projects
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
- FTfJP Formal Techniques for Java-like Programs