dblpTeaching
PhD student supervision
2023-now – Daan Vanoverloop, Compiler-based Mitigations for Software Exploitable Microarchitectural Side-Channels, co-supervised with Frank Piessens.
2024-now – Hans Winderix, Efficient Enforcement Mechanisms for the Preservation of Control-Flow Confidentiality, co-supervised with Frank Piessens.
Master student supervision
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.
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.
Teaching assistant
Operating Systems
-
Fall 2024 — KU Leuven (Belgium)
-
Fall 2023 — KU Leuven (Belgium)
Computer Architecture and System Software
-
25h, Spring 2024 — KU Leuven (Belgium)
-
25h, Spring 2023 — KU Leuven (Belgium)
-
25h, Spring 2022 — KU Leuven (Belgium)
Architecture
- 24h, Spring 2020 — IUT d’Orsay (France)
Operating systems
- 15h, Fall 2019 — ENSTA ParisTech (France)
Compilation
- 16h, Spring 2019 — IUT d’Orsay (France)
C programming language
- 15h, Fall 2018 — ENSTA ParisTech (France)