The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
ADVANCES IN CRYPTOLOGY - EUROCRYPT 2019, PT I, pp. 129-158, 2018.
Signal is a famous secure messaging protocol used by billions of people, by virtue of many secure text messaging applications including Signal itself, WhatsApp, Facebook Messenger, Skype, and Google Allo. At its core it uses the concept of "double ratcheting," where every message is encrypted and authenticated using a fresh symmetric key;...More
Full Text (Upload PDF)
PPT (Upload PPT)