A Formal Treatment of End-to-End Encrypted Cloud StorageMatilda BackendalHannah Daviset al.2024CRYPTO 2024