Back to Results
First PageMeta Content
Computational complexity theory / Interactive proof system / IP / Zero-knowledge proof / NP / Probabilistic Turing machine / Alice and Bob / Oblivious transfer / Non-interactive zero-knowledge proof / Theoretical computer science / Cryptography / Cryptographic protocols


Open Document

Share Result on Facebook

City

Jerusalem / /

Company

Interactive Proof Systems / Fannie / Dana / EGL / IPL / Aiken Computation Laboratory / /

Country

United States / /

Currency

BRL / pence / USD / /

Event

Judicial Event / Business Partnership / FDA Phase / /

Facility

Harvard University / /

IndustryTerm

zero-knowledge protocols / cycle protocol / k-p rover inieraclive protocol / bank customer / probabilistic encryption algorithm / commitment protocol / commit-reveal protocols / above protocol / bank-cards / zero-knowledge proof systems / multi-prover protocol / cryptographic protocols / zero-knowledge proof-systems / simpler protocol / commitment algorithm / proof-systems / t.he proof-systems / bank machine / e-‘ / proof systems / cryptographic machinery / /

OperatingSystem

Trax / /

Organization

John Hertz Foundation / Harvard University / National Science Foundation / MIT / Association for Computing Machinery / Hebrew University / /

Person

Yishai Mansour / Rabin / Nimrod Megiddo / Gilles Crkpeau / Silvio Micali / Claude Crkpeau / Oded Goldreich / Ai / Sitvio Micali / Ivan Damgard / Mansour / Shafi Goldwassert / David Lichtenstein / Avi Wigderson / Jeroen van de Graaf / Avi Wigdemon / Johan Hastad / Stathis Zachos / Avi Wigdemons / Silvio Micah / John Hompel / /

Position

rt / interactive proofsystem model / Player / model / without making any intractability assumptions / /

Product

Galil / SDI iP1 Speakers / Signing Contracts / Yao86a / NP / A4 / IP1 / P2 / /

Technology

above protocol / real protocol / commitment protocol / encrypted protocol / probabilistic encryption algorithm / zero-knowledge protocols / commitment algorithm / multi-prover protocol / commit-reveal protocols / resulting protocol / encryption / cryptography / simpler protocol / transformed protocol / still simpler protocol / simulating protocol / altered mutli-prover Hamiltonian cycle protocol / following protocol / two-prover protocol / k-p rover inieraclive protocol / simulation / last protocol / /

SocialTag