Dynamic Proofs of Retrievability Via Oblivious RAM.

David Cash Alptekin Küpçü Daniel Wichs

Published in: J. Cryptol. (2017)

Keyphrases

dynamic environments
theorem proving
design considerations
neural network
information retrieval
artificial intelligence
computer vision
database design
dynamically changing
formal proofs