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
Optional dependencies
Conflicts
Source [http] https://github.com/mirage/fiat/releases/download/v0.2.2/fiat-p256-v0.2.2.tbz
sha256=f32a20800cb0c0baa4f851ceaab6d10b20fd8e6d5c88f3d5d5eff923f4efc8ed
sha512=cb4243eefbe2538fbea42ba4f155218ea0da341e1571ec4b207c8e775abcbdbec39f60b906468454c2515c3b7ff8698e8861df46cb12ba67a1f7f1b5f3a2eeb0
StatisticsInstalled 1399 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/fiat-p256/fiat-p256.0.2.2/opam
Required by