A Formal Security Analysis of the Signal Messaging Protocol
The Transport Layer Security (TLS) Protocol Version 1.3