Skip to main content

Open source releases from Microsoft


project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

10112

mitls/hacl-c

HACL* verified C code (READ-ONLY, NOT NECESSARILY UP-TO-DATE)

73

mitls/mitls-flex

TLS implemented in f7

272

mitls/mitls-curl

curl, with miTLS integrated as a TLS provider

2

mitls/minq-everest

A fork of the Minq QUIC stack that uses miTLS insead of Mint

1


mitls


There is no information about this tag. To add some, make a pull request.