Back to Results
First PageMeta Content
Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic


A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled
Add to Reading List

Document Date: 2013-06-17 13:32:36


Open Document

File Size: 281,03 KB

Share Result on Facebook

City

Madrid / /

Company

Fiat / IMDEA Software / /

Country

France / Spain / /

Currency

pence / USD / /

/

Event

FDA Phase / /

Facility

By building / /

IndustryTerm

concrete Σ-protocol / secure cryptographic services / Σ-protocol / sub-protocols / direct product / public-coin Σ-protocols / exponentiation/product / above protocol / Σ-protocols / Σprotocols / cryptographic systems / cyclic / simpler solution / important applications / proof protocols / Σprotocol / secure electronic voting protocols / signature protocols / /

Organization

DE V / /

Person

Sylvain Heraud / Benjamin Gr´egoire / Santiago Zanella B´eguelin / Gilles Barthe / /

Position

extractor / proof assistant / knowledge extractor / following knowledge extractor / Coq proof assistant / /

Product

g1 / P1 / Definition / Theorem / /

ProgrammingLanguage

C / K / /

Technology

above protocol / signature protocols / IGMA PROTOCOLS / GuillouQuisquater protocol / two-party interactive protocols / The algorithm / three-move interactive protocols / concrete Σ-protocol / 3-step protocol / two public-coin Σ-protocols / encryption / Interactive proof protocols / cryptography / two sub-protocols / Okamoto protocol / PPT algorithm / following protocol / secure electronic voting protocols / dom / simulation / two Σ-protocols / 3-step interactive protocol / main protocol / Schnorr protocol / extended Euclidean algorithm / /

SocialTag