Efficient dynamic provable possession of remote data via balanced update trees
Proofs of retrievability: theory and implementation