Back to Results
First PageMeta Content
Zero-knowledge proof / Soundness / Alice and Bob / Feige–Fiat–Shamir identification scheme / Interactive proof system / Proof of knowledge / Cryptography / Cryptographic protocols / IP


A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA
Add to Reading List

Document Date: 2013-03-13 12:33:24


Open Document

File Size: 707,82 KB

Share Result on Facebook

City

Madrid / /

Company

Fiat / Heraud2 1 IMDEA 2 INRIA Software / /

Country

France / /

Person

Louis C. Guillou / Sophia Antipolis / Benjamin Gr / Victor Peggy / Jean-Jacques Quisquater / /

Technology

protocol Σ-Protocols / Accepts/rejects response Schnorr Protocol / /

SocialTag