Not finding it? Sign in to also search OpenAlex live.
-
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium2023 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, +3 more
33citations
4 results