Dynamic Proofs of Retrievability with improved worst case overhead.

Xiaoqi Yu Nairen Cao Jun Zhang Siu-Ming Yiu

Published in: CNS (2016)

Keyphrases

worst case
dynamic environments
lower bound
data sets
error bounds
theorem proving
average case
website
multi class
greedy algorithm
genetic algorithm
artificial intelligence
decision trees
theorem prover
equational theories