Teaching
Past Courses
| Course | Place | Period |
|---|---|---|
| Foundations of Interactive Proofs | M2, MPRI | 2025 – 2026 |
| Secure Computation | ANSSI | 2020 – 2021 & 2022 – 2026 |
| Introduction à la Sécurité | M1, EIDD | 2020 – 2025 |
| Outils Logiques | L2, Université Paris Cité | 2022 – 2024 |
| Interactive and Non-Interactive Proofs in Complexity and Cryptography | M2 Theoretical Computer Science, ENS Lyon | 2021 – 2023 |
| Secure Computation Slides: first course, second course |
ACCQ207 (Selected Topics in Mathematical Cryptography), M1, Télécom Paris | 2019 – 2023 |
| Mathématiques Discrètes | L3, Université de Paris | 2020 – 2022 |
| Analyse de Données | L3, Sorbonne Université | 2019 – 2021 |
| Concepts Informatiques | L1, Université de Paris | 2019 – 2020 |
| Supervision of student projects on cryptography | L3, KIT | 2018 – 2019 |