Pierre-Yves Strub

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)