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.
Research on Java Card in our group resulted in some
Bachelor courses I teach are part of the Cyber
Security track in our Bachelor programme in Computer Science.
Master courses are part of our
specialisation in Cyber Security aka the TRU/e Master
(formerly the Kerckhoffs Master).
Other teaching-related stuff:
- ACCSS, the Dutch ACademic Cyber Security Society.
- dcypher, the Dutch Cybersecurity Platform for Higher Education and Research, has officially been disbanded, but the website still exists and we still operate a dcypher mailing list with announcements for the Dutch academic computer security community.
- FTfJP Formal Techniques for Java-like Programs
- OWASP Netherlands
the Dutch chapter of OWASP (Open Web Application Security Project)
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