FSL Sponsor Abstract: Facebook Faculty Research Award
The Transport Layer Security (TLS) protocol is the backbone of secure
communication across the Web, and is used every day by millions of websites
world-wide. Serious vulnerabilities were discovered in previous versions of
TLS, post-release. A new version of TLS (version 1.3) was released in 2018,
but has not yet been widely adopted. In this project, we will use formal
verification, in the form of model checking and runtime verification, to
evaluate multiple implementations of TLS v1.3 and ensure they are safe to
use. Raising confidence in TLS v1.3 is likely to lead to its broader
adoption.