search

mirage / hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
https://github.com/mirage/mirage-crypto
Other
20 stars 5 forks source link

Document the interface with TLS #1

Closed emillon closed 5 years ago

emillon commented 5 years ago

This adds some info about what the key_exchange does and the kind of checks that should be done in particular in TLS 1.3.