Gilles Barthe

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)