|#86on PLDB||23Years Old||24.6kUsers|
Transport Layer Security (TLS) and its predecessor, Secure Sockets Layer (SSL), are cryptographic protocols that provide communications security over a computer network. Several versions of the protocols find widespread use in applications such as web browsing, email, Internet faxing, instant messaging, and Voice over IP (VoIP). Websites are able to use TLS to secure all communications between their servers and web browsers. Read more on Wikipedia...
|Implementing SSL / TLS Using Cryptography and PKI||Joshua Davies||2011-01-07||Wiley|
|Implementing and Proving the TLS 1.3 Record Layer||K. Bhargavan and Antoine Delignat-Lavaud and C. Fournet and Markulf Kohlweiss and J. Pan and Jonathan Protzenko and Aseem Rastogi and N. Swamy and Santiago Zanella Béguelin and J. Zinzindohoué||2017||74||2|
|An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing||Reynald Affeldt and Kazuhiko Sakaguchi||2014||7||2|