fiat-p256version
Primitives for Elliptic Curve Cryptography taken from Fiat
This is an implementation of the ECDH over P-256 key exchange algorithm, using code from Fiat (https://github.com/mit-plv/fiat-crypto).
Cryptographic primitives should not be used in end applications, they are better used as part of a cryptographic library.
| Tags | org:mirage |
|---|---|
| Authors | Etienne Millon <me@emillon.org>, Andres Erbsen <andreser@mit.edu>, Google Inc., Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> and Massachusetts Institute of Technology |
| License | MIT |
| Published | |
| Homepage | https://github.com/mirage/fiat |
| Issue Tracker | https://github.com/mirage/fiat/issues |
| Maintainer | Etienne Millon <me@emillon.org> |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/mirage/fiat/releases/download/v0.2.1/fiat-p256-v0.2.1.tbz sha256=899f6ebfb2e2edb20368c09d3e8eb429984f4a9c0bf7cc14aa0edb3d71820601 sha512=f745b0c5844cb79615e61ed8524cb54c52152ec96c5e1615e4ca21feac6621a020ff46df33b77cb50b98e414efd6a12474d26a3e426e6f9e234b880b70ea7c43 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fiat-p256/fiat-p256.0.2.1/opam |
Required by
- tls>=0.12.0 & <0.13.0
- tls-mirage>=0.12.0 & <0.13.0
