Benjamin
Grégoire
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)