Cécile Baritel-Ruet: Formal Security Proofs of Cryptographic Standards. (Preuves Formelles de la Sécurité de Standards Cryptographiques). University of Côte d'Azur, Nice, France 2020