Andreas Hülsing

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)