A Formal Treatment of End-to-End Encrypted Cloud Storage
- 16 August 2024
- book chapter
- Published by Springer Nature
- p. 40-74
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol2023
- The Hidden Number Problem with Small Unknown Multipliers: Cryptanalyzing MEGA in Six Queries and Other Applications2023
- Flexible Password-Based Encryption: Securing Cloud Storage and Provably Resisting Partitioning-Oracle Attacks2023
- Caveat Implementor! Key Recovery Attacks on MEGA2023
- Universally Composable End-to-End Secure Messaging2022
- Puncturable Key Wrapping and Its Applications2022
- OPAQUE: An Asymmetric PAKE Protocol Secure Against Pre-computation Attacks2018
- TOPPSS: Cost-Minimal Password-Protected Secret Sharing Based on Threshold OPRF2017
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs2006
- Universally Composable Notions of Key Exchange and Secure Channels2002