The Double Ratchet Algorithm
whispersystems.org