A unified and composable take on ratcheting

DOI10.1007/978-3-030-36033-7_7zbMath1455.94167OpenAlexW2990595939MaRDI QIDQ2175936

Daniel Jost, Marta Mularczyk, Ueli M. Maurer

Publication date: 30 April 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-36033-7_7

zbMATH Keywords

secure messaging with strong guarantees

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Related Items (9)

An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable ⋮ A unified and composable take on ratcheting ⋮ Unique-path identity based encryption with applications to strongly secure messaging ⋮ A more complete analysis of the signal double ratchet algorithm ⋮ On the insider security of MLS ⋮ On secure ratcheting with immediate decryption ⋮ Security analysis of the WhatsApp end-to-end encrypted backup protocol ⋮ An efficient and generic construction for Signal's handshake (X3DH): post-quantum, state leakage secure, and deniable ⋮ Overcoming impossibility results in composable security using interval-wise guarantees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards bidirectional ratcheted key exchange
• Optimal channel security against fine-grained state compromise: the safety of messaging
• Ratcheted encryption and key exchange: the security of messaging
• A unified and composable take on ratcheting
• The IITM model: a simple and expressive model for universal composability
• A formal security analysis of the Signal messaging protocol
• The double ratchet: security notions, proofs, and modularization for the Signal protocol
• Efficient ratcheting: almost-optimal guarantees for secure messaging
• Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
• From Indifferentiability to Constructive Cryptography (and Back)
• (De-)Constructing TLS 1.3
• New notions of security
• Indistinguishability Amplification
• Theory of Cryptography
• Concurrently Composable Security with Shielded Super-Polynomial Simulators

This page was built for publication: A unified and composable take on ratcheting