2021
Compilation vérifiée et sécurisée contre les canaux cachés temporels. (Verified Secure Compilation against Timing Side-Channels).
PhD thesis, 2021

Secure Compilation of Constant-Resource Programs.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Formal verification of a constant-time preserving C compiler.
Proc. ACM Program. Lang., 2020

2019
Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019