Arthur–Merlin protocol - PDFSEARCH.IO - Document Search Engine

Arthur–Merlin protocol
Results: 14

#	Item
1	On Quantum Interactive Proofs with Short Messages Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 02:04:20 Quantum complexity theory Models of computation Probabilistic complexity theory Quantum information science QIP QMA Interactive proof system IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
2	Monday, July 17 9:30-10:30 G¨ odel and Computations, Pavel Pudlak 10:30-11:00 Coffee 11:00-11:30 Polynomial Identity Testing for Depth 3 Circuits, Neeraj Kayal, Nitin Saxena Add to Reading List Source URL: computationalcomplexity.org Language: English - Date: 2012-07-28 21:08:59 Complexity classes Quantum complexity theory Russell Impagliazzo Circuit complexity PP PH Arthur–Merlin protocol Low Advice Theoretical computer science Computational complexity theory Applied mathematics
3	Proofs that Yield All Languages Proof Add to Reading List Source URL: nakamotoinstitute.org Language: English - Date: 2014-03-23 11:48:58 Complexity classes Cryptographic protocols Probabilistic complexity theory Models of computation Interactive proof system Zero-knowledge proof NP IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
4	QMA/qpoly ⊆ PSPACE/poly: De-Merlinizing Quantum Protocols Scott Aaronson∗ University of Waterloo Abstract Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:53:50 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP Arthur–Merlin protocol Quantum computer BQP Theoretical computer science Computational complexity theory Applied mathematics
5	On the Power of a Unique Quantum Witness Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2013-01-22 04:13:36 Quantum complexity theory Probabilistic complexity theory QMA Arthur–Merlin protocol Randomized algorithm IP Projection PP Theoretical computer science Computational complexity theory Applied mathematics
6	Polylogarithmic-round Interactive Proofs for coNP Collapse the Exponential Hierarchy Alan L. Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2004-02-23 11:23:03 Complexity classes Probabilistic complexity theory Structural complexity theory Arthur–Merlin protocol Karp–Lipton theorem Quantum complexity theory NP Interactive proof system IP Theoretical computer science Computational complexity theory Applied mathematics
7	E-mail and the unexpected power of interaction L´ aszl´ o Babai ∗ E¨otv¨os University, Budapest and Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-06-26 23:39:25 Complexity classes Interactive proof system IP Arthur–Merlin protocol NP P/poly NEXPTIME True quantified Boolean formula Zero-knowledge proof Theoretical computer science Computational complexity theory Applied mathematics
8	SIPping from the firehose: Streaming Interactive Proofs for verifying computations Graham Cormode [removed] Amit Chakrabarti (Dartmouth) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:14 Complexity classes Search algorithms NP Hash function IP Arthur–Merlin protocol Database Interactive proof system Theoretical computer science Applied mathematics Probabilistic complexity theory
9	Distinguishing Distributions Using Chernoff Information Thomas Baign`eres1, Pouyan Sepehrdad2 , and Serge Vaudenay2 Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Soundness XTR Interactive proof system Arthur–Merlin protocol NP Theoretical computer science Applied mathematics IP
10	COM S 6810 Theory of Computing March 24, 2009 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-03-26 12:29:21 Applied mathematics Complexity classes Arthur–Merlin protocol Probabilistic complexity theory Zero-knowledge proof IP NP Proof of knowledge Interactive proof system Theoretical computer science Cryptography Cryptographic protocols