Compact Proofs of Retrievability.

Hovav Shacham Brent Waters

Published in: J. Cryptol. (2013)

Keyphrases

theorem proving
real time
database
prior art
computer vision
theorem prover
mathematical proofs
formal proofs
formal proof
binary codes
evolutionary algorithm
multi agent
similarity measure
decision making
information systems
genetic algorithm
neural network
databases