DepSky: Dependable and Secure Storage in a Cloud-of-Clouds
Venus: verification for untrusted cloud storage