PhD vacancies If you're interested doing a PhD thesis in the area of
software security, LangSec, and the formal specification of protocols
and interfaces as basis of code generation and security testing, contact me.
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
smartcard applications such as electronic passports
and EMV payment cards,
(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 our
Master's specialisation in Cyber Security
in our our Computing Science Master,
and used to be part of our
joint TRU/e master in Cyber Security
- Web Security (IPC026)
- Software Security (ISOFSE)
- Security Protocol Project (IMC066) - formerly part of Hardware Security (NWI-IMC001)
- Research internship (NWI-IMC047)
- Hacking in C (IPC025)
Other teaching-related stuff:
Organisations and Projects
Conferences and other events
- LangSec 2021 workshop @ IEEE S&P, May , 2020.
- 1st International Workshop on Distributed Infrastructure for Common Good, Dec 2020, Delft, The Netherlands
- INTERSCT conference on Cyber Security of Internet-of-Things, Eindhoven, October, 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