Download - Experimental forks
The following forks of miTLS include some experimental features that are not fully verified. They do not constitute part of the official miTLS releases, but are provided as a platform to experiment with new protocol features.
Software
Released on 31 July 2013.
Experimental features:
- AEAD-GCM ciphers, as defined in RFC 5288
- Extended record padding, as defined in this Internet Draft
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.
