Signal: forward secrecy and the double ratchet

How does a messaging app protect past messages even if your phone is stolen? A deep dive into forward secrecy and Signal's double ratchet algorithm.