Entanglement-resistant two-prover interactive proof systems and non-adaptive pir's.

Richard Cleve Dmitry Gavinsky Rahul Jain

Published in: Quantum Inf. Comput. (2009)

Keyphrases

theorem proving
theorem prover
interactive systems
adaptive systems
expert systems
intelligent systems
graphical interface
computing systems
data sets
virtual reality
learning systems
complex systems
building blocks
information systems
search engine
data mining
real world