Teaching

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)