A Comprehensive Symbolic Analysis of TLS 1.3
Cas J. F. Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe · 2017
The TLS protocol is intended to enable secure end-to-end communication over insecure networks, including the Internet. Unfortunately, this goal has been thwarted a number of times throughout the protocol's tumultuous lifetime, resulting in the need for a new version of the protocol, namely TLS 1.3. Over the past three years, in an unprecedented joint design effort with the academic community, the TLS Working Group has been working tirelessly to enhance the security of TLS.