Security analysis of the WhatsApp end-to-end encrypted backup protocol
From MaRDI portal
Publication:6190115
DOI10.1007/978-3-031-38551-3_11MaRDI QIDQ6190115
Sebastian H. Faller, Gareth T. Davies, Julia Hesse, Tobias Handirk, Máté Horváth, Tibor Jager, Kai Gellert
Publication date: 6 February 2024
Published in: Advances in Cryptology – CRYPTO 2023 (Search for Journal in Brave)
Cites Work
- OPAQUE: an asymmetric PAKE protocol secure against pre-computation attacks
- Ratcheted encryption and key exchange: the security of messaging
- A unified and composable take on ratcheting
- A formal security analysis of the Signal messaging protocol
- On the cryptographic deniability of the Signal protocol
- The double ratchet: security notions, proofs, and modularization for the Signal protocol
- Round-Optimal Password-Protected Secret Sharing and T-PAKE in the Password-Only Model
- A Method for Making Password-Based Key Exchange Resilient to Server Compromise
- A more complete analysis of the signal double ratchet algorithm