dblpStudent supervision
PhD students
2023-now – Daan Vanoverloop, Compiler-based Mitigations for Software Exploitable Microarchitectural Side-Channels, co-supervised with Frank Piessens.
2023-2024 – Hans Winderix, Efficient Enforcement Mechanisms for the Preservation of Control-Flow Confidentiality, co-supervised with Frank Piessens – Postdoc @ KU Leuven.
Master students
2025 – Pieter-Jan Sterkens, Opening Pandora’s Box: Practical software vulnerability detection for confidential computing.
Master thesis, co-supervised with Jo Van Bulck, Frank Piessens.
2025 – Jens Sprengers, Securing data-dependent prefetchers in hardware.
Master thesis, co-supervised with Marton Bognar, Frank Piessens. OneSpan master thesis award.
2025 – Jan Brosens, Speculative data races on Intel-SGX.
Master thesis, co-supervised with Jo Van Bulck, Frank Piessens.
2025 – Dries Vanspauwen, Reverse-engineering of microarchitectural weird machines.
Master thesis, co-supervised with Jo Van Bulck, Frank Piessens.
2024 – Petar Vitorac, Efficient control-flow linearization in the LLVM compiler.
Bachelors’ honors project, co-supervised with Daan Vanoverloop, Hans Winderinx, Frank Piessens.
2024 – Alexis Hamon, Symbolic execution for software targetting hardware security extensions.
M1 internship, co-supervised with Frank Piessens.
2024 – Yordi Kurkiewicz, Symbolic execution for enhanced side-channel security.
Master thesis, co-supervised with Sepideh Pouyanrad, Frank Piessens.
2024 – Robbe Van de Velde, Fuzzing the hardware for validating side-channel defenses.
Master thesis, co-supervised with Marton Bognar, Frank Piessens.
2023 – Alexander Lescroart, Compiler support for ProSpeCT within the LLVM compiler infrastructure.
Master thesis, co-supervised with Marton Bognar, Frank Piessens.
2023 – Daan Vanoverloop, Adding compiler support for hardware-software security defense mechanisms.
Master thesis, co-supervised with Hans Winderinx, Frank Piessens. OneSpan master thesis award.
2021 – June Rousseau, Optimizing Relational Symbolic Execution Over Cryptographic Code.
M1 internship, co-supervised with Sébastien Bardin.