11.19.21

The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol