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

Vincent Cheval, Charlie Jacomme, Jessica Richards

Browse the full SP paper archive.