The double ratchet: security notions, proofs, and modularization for the Signal protocol
From MaRDI portal
Publication:2292642
DOI10.1007/978-3-030-17653-2_5zbMath1470.94101OpenAlexW2903043053MaRDI QIDQ2292642
Sandro Coretti, Joël Alwen, Yevgeniy Dodis
Publication date: 4 February 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-17653-2_5
Related Items (24)
Towards post-quantum security for signal's X3DH handshake ⋮ An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable ⋮ Anamorphic encryption: private communication against a dictator ⋮ A unified and composable take on ratcheting ⋮ Symmetric Key Exchange with Full Forward Security and Robust Synchronization ⋮ Unique-path identity based encryption with applications to strongly secure messaging ⋮ A more complete analysis of the signal double ratchet algorithm ⋮ Continuous authentication in secure messaging ⋮ On the worst-case inefficiency of CGKA ⋮ On secure ratcheting with immediate decryption ⋮ Strongly anonymous ratcheted key exchange ⋮ Robust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3 ⋮ Post-quantum signal key agreement from SIDH ⋮ Post-quantum asynchronous deniable key exchange and the signal handshake ⋮ Security analysis of the WhatsApp end-to-end encrypted backup protocol ⋮ On active attack detection in messaging with immediate decryption ⋮ Determining the core primitive for optimally secure ratcheting ⋮ Scalable ciphertext compression techniques for post-quantum KEMs and their applications ⋮ A formal security analysis of the Signal messaging protocol ⋮ Security under message-derived keys: signcryption in iMessage ⋮ An efficient and generic construction for Signal's handshake (X3DH): post-quantum, state leakage secure, and deniable ⋮ Beyond security and efficiency: on-demand ratcheting with security awareness ⋮ Security analysis and improvements for the IETF MLS standard for group messaging ⋮ Forward secure message franking
This page was built for publication: The double ratchet: security notions, proofs, and modularization for the Signal protocol