Vincent Cheval, Charlie Jacomme, Jessica Richards. Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs. In IEEE Symposium on Security and Privacy, SP 2026, San Francisco, CA, USA, May 18-21, 2026. pages 1522-1538, IEEE, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.