Download
Software
Released on 21 November 2013, includes refinement types.
Documentation
This report is the full version of a conference paper and describes the formal verification of miTLS and its cryptographic model.
Previous software releases
Released on 19 March 2013, includes refinement types.
Released on 11 February 2013, includes refinement types.
Experimental forks
Go to the experimental downloads page to download forks of miTLS that contain experimental features.
Licence
miTLS is released under the CeCILL-B licence: by downloading this software you agree to the terms of its licence.
External Tools
- Microsoft Visual Studio: IDE.
- F7: Refinement type checker.
- F#: Programming language.
- Mono Framework: .NET for several platforms.
- Bouncy Castle: Cryptographic provider.
