Explore a 16-minute talk from Real World Crypto (RWC) 2025 where Matilda Backendal and Miro Haller present their research on provable security approaches for end-to-end encrypted cloud storage solutions. This presentation was featured as the opening talk in the "Secure Cloud & File Storage" session chaired by Matthew Campagna. Gain insights into cutting-edge cryptographic techniques that aim to provide mathematical guarantees for cloud storage security while maintaining end-to-end encryption principles. The talk offers valuable information for cryptographers, security researchers, and professionals interested in cloud security implementations with formal security proofs. For more details about this presentation, including abstracts and additional contributing authors, visit the official RWC 2025 program page.