A widely used secure messaging protocol combining forward secrecy, asynchronous setup, and post-compromise recovery.