Merkliste 
 1 Ergebnisse 
 
1

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

, In: Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science,