A more complete analysis of the signal double ratchet algorithm
From MaRDI portal
Publication:6097271
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)