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.