@mitls

miTLS

A verified reference TLS implementation

  • HACL*, a formally verified cryptographic library written in F*

    security cryptography high-performance verification formal-methods verified-primitives

    C 19 3 Updated Feb 21, 2017
  • TLS implemented in F*

    F# 50 7 Updated Feb 21, 2017
  • TLS implemented in f7

    F# 18 1 Updated Jul 28, 2016