Anaëlle Le Dévéhat: Designing Efficient, Practical and Secure Post-quantum Cryptosystems. (Concevoir des systèmes cryptographiques post-quantiques efficaces, pratiques et sûrs). École Polytechnique, Palaiseau, France 2025