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 handshakeAn efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniableAnamorphic encryption: private communication against a dictatorA unified and composable take on ratchetingSymmetric Key Exchange with Full Forward Security and Robust SynchronizationUnique-path identity based encryption with applications to strongly secure messagingA more complete analysis of the signal double ratchet algorithmContinuous authentication in secure messagingOn the worst-case inefficiency of CGKAOn secure ratcheting with immediate decryptionStrongly anonymous ratcheted key exchangeRobust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3Post-quantum signal key agreement from SIDHPost-quantum asynchronous deniable key exchange and the signal handshakeSecurity analysis of the WhatsApp end-to-end encrypted backup protocolOn active attack detection in messaging with immediate decryptionDetermining the core primitive for optimally secure ratchetingScalable ciphertext compression techniques for post-quantum KEMs and their applicationsA formal security analysis of the Signal messaging protocolSecurity under message-derived keys: signcryption in iMessageAn efficient and generic construction for Signal's handshake (X3DH): post-quantum, state leakage secure, and deniableBeyond security and efficiency: on-demand ratcheting with security awarenessSecurity analysis and improvements for the IETF MLS standard for group messagingForward secure message franking







This page was built for publication: The double ratchet: security notions, proofs, and modularization for the Signal protocol