Joël Alwen, Sandro Coretti, Yevgeniy Dodis. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol. In Yuval Ishai, Vincent Rijmen, editors, Advances in Cryptology - EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part I. Volume 11476 of Lecture Notes in Computer Science, pages 129-158, Springer, 2019. [doi]
Abstract is missing.