A more complete analysis of the signal double ratchet algorithm

DOI10.1007/978-3-031-15802-5_27zbMATH Open1516.94023OpenAlexW4313119585MaRDI QIDQ6097271FDOQ6097271

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

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

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

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

Cited In (9)

• The double ratchet: security notions, proofs, and modularization for the signal protocol
• On the worst-case inefficiency of CGKA
• WhatsUpp with sender keys? Analysis, improvements and security proofs
• A formal security analysis of the Signal messaging protocol
• 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)