Feige–Fiat–Shamir identification scheme
Results: 2
# | Item |
---|---|
1![]() | A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEAAdd to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2013-03-13 12:33:24 |
2![]() | A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEAAdd to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36 |