Section: Software

miTLS

Participants : Alfredo Pironti [correspondant] , Karthikeyan Bhargavan, Cedric Fournet [Microsoft Research] , Pierre-Yves Strub [IMDEA] , Markulf Kohlweiss [Microsoft Research] .

miTLS is a verified reference implementation of the TLS security protocol in F#, a dialect of OCaml for the .NET platform. It supports SSL version 3.0 and TLS versions 1.0-1.2 and interoperates with mainstream web browsers and servers. miTLS has been verified for functional correctness and cryptographic security using the refinement typechecker F7.

A paper describing the miTLS library is under review, and the software is being prepared for imminent release in January 2013.