Abstract: In secure messaging, double ratchet allows two communicating end parties to securely derive unique encryption keys for every communicating message while providing post-compromise security ...