Teaching

PhD student supervision

2023-now – Daan Vanoverloop, Compiler-based Mitigations for Software Exploitable Microarchitectural Side-Channels

2024-now – Hans Winderix, Side-channel Defenses in Programming Languages and Compilers

Master student supervision

2024 – Alexis Hamon, Symbolic execution for software targetting hardware security extensions

2024 – Yordi Kurkiewicz, Symbolic execution for enhanced side-channel security

2024 – Robbe Van de Velde, Fuzzing the hardware for validating side-channel defenses

2023 – Alexander Lescroart, Compiler support for ProSpeCT within the LLVM compiler infrastructure

2023 – Daan Vanoverloop, Adding compiler support for hardware-software security defense mechanisms, OneSpan master thesis award

2021 – Bastien Rousseau, Optimizing Relational Symbolic Execution Over Cryptographic Code

Teaching assistant

Operating Systems

• Fall 2024 — 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)