Joël Alwen, Sandro Coretti, Yevgeniy Dodis. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol. IACR Cryptology ePrint Archive, 2018:1037, 2018. [doi]
@article{AlwenCD18, title = {The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol}, author = {Joël Alwen and Sandro Coretti and Yevgeniy Dodis}, year = {2018}, url = {https://eprint.iacr.org/2018/1037}, researchr = {https://researchr.org/publication/AlwenCD18}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2018}, pages = {1037}, }