| Document Date: 2011-10-10 23:51:40
Open Document File Size: 550,34 KBShare Result on Facebook
Country Israel / / / Facility Weizmann Institute of Science / / IndustryTerm arbitrary algorithm / zero-knowledge protocols / bounded-concurrent zero-knowledge protocol / probabilistic algorithm / uniform-verifier generation protocol / type protocols / concurrent zero-knowledge protocol / above protocols / uniform algorithms / non-uniform verifier generation protocol / generation protocol / zero-knowledge protocol / type protocol / above protocol / argument systems / residual algorithm / / Organization Department of Computer Science / U.S. Securities and Exchange Commission / Weizmann Institute of Science / / Person Bob / Alice / / / Position black-box extractor / strict probabilistic polynomial-time knowledge extractor / strict polynomial time knowledge extractor / model an efficient adversary strategy / non-black-box knowledge extractor / / Technology type protocol / cryptography / two-party protocol / type protocols / Alternative Uniform-Verifier Generation Protocol / two-party protocols / above protocol / known protocols / generic FLS-type zero-knowledge protocol / interactive algorithm / Non-Uniform Verifier Generation Protocol / bounded-concurrent zero-knowledge protocol / arbitrary algorithm / zero-knowledge protocol / 2.3 Protocols / generation protocol / residual algorithm / uniform-verifier generation protocol / zero-knowledge protocols / Simulation / FLS-type protocol / 4.1 FLS-type protocols / concurrent zero-knowledge protocol / above protocols / probabilistic algorithm / interactive protocol / /
SocialTag |
How to Go Beyond the Black-Box Simulation Barrier Boaz Barak∗ December 30, 2008 Abstract The simulation paradigm is central to cryptography. A simulator is an algorithm that tries