![Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic](https://www.pdfsearch.io/img/acd2eefb5af24634dce5359c646dab21.jpg)
| Document Date: 2013-06-17 13:32:36 Open Document File Size: 281,03 KBShare 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 |