don ' t trust the cloud , verify : integrity and consistency for cloud object stores .
Introduction to Reliable and Secure Distributed Programming