A Formal Treatment of End-to-End Encrypted Cloud Storage.

Matilda Backendal, Hannah Davis, Felix Gnther, Miro Haller, Kenneth G. Paterson

Browse the full CRYPTO paper archive.