A Formal Treatment of End-to-End Encrypted Cloud Storage
Date:
Paper
This talk is based on our paper at Crypto’24, which I discuss in this blog post.
Talk Abstract
Analyses of multiple end-to-end encrypted cloud storage protocols revealed serious flaws, raising the question of whether any of these protocols are trustworthy. This talk presents the first cryptographic model for secure cloud storage with a compromised or malicious server, capturing real-world complexities. This model presents the first provably secure E2EE cloud storage protocol.
Talk Recording
RSA Conference 2025
Crypto 2024 conference talk
Slides
- RSA Conference 2025 (Breaking research track): slides, recording,
- CRYPTO 2024 (co-presented with Matilda Backendal): slides, recording,
- Berkeley Security Seminar: slides,
- Trails of Bits (co-presented with Matilda Backendal): slides,
- UMD Crypto Reading Group: slides,
- Apple (co-presented with Matilda Backendal): slides,
- MIT Security Seminar: slides,
- Amazon AWS (co-presented with Matilda Backendal): slides,
- Google (co-presented with Matilda Backendal): slides,