A More Complete Analysis of the Signal Double Ratchet Algorithm

Published in Crypto 2022, 2021