Probabilistic proof systems — A survey (Q5048957): Difference between revisions

@@ Property / DOI @@
-.1007/BFb0023492
@@ Property / DOI: 10.1007/BFb0023492 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234095
@@ Property / cites work: Q4234095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230322
@@ Property / cites work: Q4230322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230321
@@ Property / cites work: Q4230321 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic exponential time has two-prover interactive protocols
+Normal rank
@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+Normal rank
@@ Property / cites work @@
+Q3359734
@@ Property / cites work: Q3359734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318711
@@ Property / cites work: Q4318711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252727
@@ Property / cites work: Q4252727 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Decision Versus Search
@@ Property / cites work: The Complexity of Decision Versus Search / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750398
@@ Property / cites work: Q5750398 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-testing/correcting with applications to numerical problems
+Normal rank
@@ Property / cites work @@
+Minimum disclosure proofs of knowledge
@@ Property / cites work: Minimum disclosure proofs of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318695
@@ Property / cites work: Q4318695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228484
@@ Property / cites work: Q4228484 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
+Normal rank
@@ Property / cites work @@
+Definitions and properties of zero-knowledge proof systems
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Algebraic methods for interactive proof systems
@@ Property / cites work: Algebraic methods for interactive proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of approximating minimization problems
+Normal rank
@@ Property / cites work @@
+Bit commitment using pseudorandomness
@@ Property / cites work: Bit commitment using pseudorandomness / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Characterizations of Polynomials with Applications to Program Testing
+Normal rank
@@ Property / cites work @@
+IP = PSPACE
@@ Property / cites work: IP = PSPACE / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/BFB0023492
@@ Property / DOI: 10.1007/BFB0023492 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5048957