Provided by: INRIA
Date Added: Mar 2013
TLS is possibly the most used protocol for secure communications, with an 18-year history of flaws and fixes, ranging from its protocol logic to its cryptographic design and from the Internet standard to its diverse implementations. The authors develop a verified reference implementation of TLS 1.2. Their code fully supports its wire formats, ciphersuites, sessions and connections, re-handshakes and resumptions, alerts and errors, and data fragmentation, as prescribed in the RFCs; it interoperates with mainstream web browsers and servers.