Venus: verification for untrusted cloud storage
building secure file systems out of byantine storage .