Transport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak

Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used to setup virtual private networks, secure various services such as web and email, etc. In this paper we describe our clean slate TLS implementa- tion developed in OCaml.