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
AuthorsEtienne 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
LicenseMIT
Published
Homepagehttps://github.com/mirage/fiat
Issue Trackerhttps://github.com/mirage/fiat/issues
MaintainerEtienne Millon <me@emillon.org>
Dependencies
Source [http] https://github.com/mirage/fiat/releases/download/v0.1.0/fiat-p256-v0.1.0.tbz
sha256=e294aa1f920205da2c9f0ab909e2755b070702cb4fdb47a94b9c18e55cdf774d
sha512=36f55cd9a9a7d11fe1c29a19a0e14b0354da7e8e0c2ae460f754c8f4646bcd57fa26270078d9c66e211c6ad352ff75b560923594a5ad5f2e4ff7f5298c96668e
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/fiat-p256/fiat-p256.0.1.0/opam
No package is dependent