Anamorphic Messaging: Analyzing the Double Ratchet, Triple Ratchet, PQ3, and MLS
This work is the first to leverage the statefulness of cryptographic communication protocols to employ continuously updated double states and achieve Forward Security : even if the adversary observes all traffic, knows all users’ regular secret key material at any stage of the protocol execution, and at some point lear...