Pouria Fallahpour: Lattice-based cryptography in a quantum setting: security proofs and attacks. (Cryptographie fondée sur les réseaux euclidiens dans une contexte quantique: preuves de sécurité et attaques). École normale supérieure de Lyon, France 2024