The Signal Protocol and the Double Ratchet algorithm

Introduction