Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs

2026 IEEE Symposium on Security and Privacy (SP) 2026

View at publisher

Authors: Vincent Cheval, Charlie Jacomme, Jessica Richards

DOI: 10.1109/sp63933.2026.00120

Cited by: 1

References: 17

Fields of Study & Subjects

Cryptographic Implementations and Security Advanced Authentication Protocols Security Coding theory and cryptography

References 17