The following pages link to Interactive proof systems (Q3830531):
Displaying 27 items.
- Non-deterministic exponential time has two-prover interactive protocols (Q685724) (← links)
- On the power of interaction (Q751809) (← links)
- Challenging epistemology: Interactive proofs and zero knowledge (Q959048) (← links)
- Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes (Q1106840) (← links)
- The complexity of the max word problem and the power of one-way interactive proof systems (Q1312183) (← links)
- Randomness in interactive proofs (Q1321030) (← links)
- The random oracle hypothesis is false (Q1333397) (← links)
- On interactive proofs with a laconic prover (Q1413647) (← links)
- On the knowledge complexity of \(\mathcal N\mathcal P\) (Q1848028) (← links)
- Interactive proof systems with polynomially bounded strategies (Q1894457) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- Interactive proofs and a Shamir-like result for real number computations (Q2323360) (← links)
- Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (Q2343133) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Interactive Coding for Interactive Proofs (Q2799101) (← links)
- Input-oblivious proof systems and a uniform complexity perspective on P/poly (Q2828212) (← links)
- Interactive proofs and applications (Q4011253) (← links)
- Interactive Proofs with Provable Security against Honest Verifiers (Q4279589) (← links)
- Finite state verifiers I (Q4302790) (← links)
- Algebraic methods for interactive proof systems (Q4302792) (← links)
- The knowledge complexity of interactive proof-systems (Q4365519) (← links)
- On Doubly-Efficient Interactive Proof Systems (Q4571853) (← links)
- Simple doubly-efficient interactive proof systems for locally-characterizable sets (Q4993281) (← links)
- Probabilistic proof systems — A survey (Q5048957) (← links)
- Structural complexity theory: Recent surprises (Q5056087) (← links)
- Interactive Distributed Proofs (Q5197691) (← links)
- Trade-offs in distributed interactive proofs (Q6487530) (← links)
