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

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3 - José Bacelar Almeida; Cécile Baritel-Ruet; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre-Yves Strub (Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019, 2019)

Machine-Checked Proofs for Cryptographic Standards - José Bacelar Almeida; Cécile Baritel-Ruet; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2019)

Formal Security Proof of CMAC and Its Variants - Cécile Baritel-Ruet; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire (31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018, 2018)