Efficient Identification Schemes Using Two Prover Interactive Proofs.

Michael Ben-Or Shafi Goldwasser Joe Kilian Avi Wigderson

Published in: CRYPTO (1989)

Keyphrases

theorem proving
theorem prover
automated theorem proving
database
computationally efficient
databases
real world
image sequences
data streams
lightweight
virtual reality
automatic identification