A more complete analysis of the signal double ratchet algorithm

DOI10.1007/978-3-031-15802-5_27MaRDI QIDQ6097271zbMATH OpenOpenAlexFDO

Authors Alexander Bienstock, Jaiden Fairoze, Sanjam Garg, Pratyay Mukherjee, Srinivasan Raghuraman

Publication date 12 June 2023

Published in Advances in Cryptology – CRYPTO 2022 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15802-5_27

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• The double ratchet: security notions, proofs, and modularization for the signal protocol
• A formal security analysis of the Signal messaging protocol
• Determining the core primitive for optimally secure ratcheting
• Ratcheted encryption and key exchange: the security of messaging
• Optimal channel security against fine-grained state compromise: the safety of messaging

Cites work

• scientific article; zbMATH DE number 1617924 (Why is no real title available?)
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 1942416 (Why is no real title available?)
• scientific article; zbMATH DE number 1857540 (Why is no real title available?)
• A formal security analysis of the Signal messaging protocol
• A unified and composable take on ratcheting
• Advances in Cryptology - EUROCRYPT 2004
• An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable
• Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity
• Breaking the FF3 format-preserving encryption standard over small domains
• Constructive cryptography -- a new paradigm for security definitions and proofs
• Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack
• Determining the core primitive for optimally secure ratcheting
• Diffie-Hellman Oracles
• Efficient ratcheting: almost-optimal guarantees for secure messaging
• Foundations of Cryptography
• Information Security and Privacy
• Leakage-Tolerant Interactive Protocols
• Mathematics of public key cryptography.
• On the cryptographic deniability of the Signal protocol
• Optimal channel security against fine-grained state compromise: the safety of messaging
• Overcoming impossibility results in composable security using interval-wise guarantees
• PRF-ODH: relations, instantiations, and impossibility results
• Post-quantum asynchronous deniable key exchange and the signal handshake
• Ratcheted encryption and key exchange: the security of messaging
• Security analysis and improvements for the IETF MLS standard for group messaging
• The Knowledge Complexity of Interactive Proof Systems
• The double ratchet: security notions, proofs, and modularization for the signal protocol
• Towards bidirectional ratcheted key exchange
• Towards post-quantum security for signal's X3DH handshake
• Updatable public key encryption in the standard model

Cited in

(9)

• The double ratchet: security notions, proofs, and modularization for the signal protocol
• A formal security analysis of the Signal messaging protocol
• On the worst-case inefficiency of CGKA
• WhatsUpp with sender keys? Analysis, improvements and security proofs
• On secure ratcheting with immediate decryption
• Strongly anonymous ratcheted key exchange
• On active attack detection in messaging with immediate decryption
• Security analysis of the WhatsApp end-to-end encrypted backup protocol
• Optimal channel security against fine-grained state compromise: the safety of messaging

This page was built for publication: A more complete analysis of the signal double ratchet algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6097271)