K. Bowers, A. Juels, and A. Oprea. HAIL: a highavailability and integrity layer for cloud storage. In Proc. of CCS, 2009. B. Schneier and J. Kelsey. Cryptographic support for secure logs and untrusted machines. In Proc. of USENIX Security Symposium, 1998.