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 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:
- 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