Joël Alwen Sandro Coretti Yevgeniy Dodis The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol. 129-158 2019 EUROCRYPT (1) https://doi.org/10.1007/978-3-030-17653-2_5 conf/eurocrypt/2019-1 db/conf/eurocrypt/eurocrypt2019-1.html#AlwenCD19