Gilles Barthe

Barbosa, M. ., Barthe, G. ., Doczkal, C. ., Don, J. ., Fehr, S. ., Grégoire, B. ., … Wu, X. . (2023). Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. Cryptology EPrint Archive. Retrieved from https://eprint.iacr.org/2023/246 (Original work published February 2023)

Barbosa, M. ., Barthe, G. ., Fan, X. ., Grégoire, B. ., Hung, S.-H. ., Katz, J. ., … Zhou, L. . (2021). EasyPQC: Verifying Post-Quantum Cryptography. In ACM CCS 2021. http://doi.org/10.1145/3460120.3484567 (Original work published September 2021)