Proofs of Retrievability via Fountain Code.

Sumanta Sarkar Reihaneh Safavi-Naini

Published in: FPS (2012)

Keyphrases

source code
error correcting
database
neural network
bayesian networks
theorem prover
formal proof
real time
website
prior art
program code
equational theories
mathematical proofs