On the Tight Security of the Double Ratchet. - Daniel Collins 001; Doreen Riepel; Si An Oliver Tran (IACR Cryptol. ePrint Arch., 2024)