I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

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

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38554-4_12.  , 2023
Link: https://hal.science/hal-04315311