@misc{cryptoeprint:2018:1037,
    author = {Jo\"el Alwen and Sandro Coretti and Yevgeniy Dodis},
    title = {The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol},
    howpublished = {Cryptology ePrint Archive, Report 2018/1037},
    year = {2018},
    url = {https://eprint.iacr.org/2018/1037},
}