Opam Package fiat-p256.0.2.3

Package documentation pages

pages: doc/fiat-p256/odoc-pages/implementation.mld

Package info

opam-namefiat-p256
opam-version0.2.3
synopsisPrimitives for Elliptic Curve Cryptography taken from Fiat
description 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.
authors
  • Etienne Millon <me@emillon.org>
  • Andres Erbsen <andreser@mit.edu>
  • Google Inc.
  • Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
  • Massachusetts Institute of Technology
homepagehttps://github.com/mirage/fiat
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
odoc-filedoc/fiat-p256/odoc-pages/implementation.mld
deps (15)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

fiat-p256

Package files

lib/stublibs/dllfiat_p256_stubs.so
lib/fiat-p256/scalar_mult.mli
lib/fiat-p256/scalar_mult.ml
lib/fiat-p256/scalar.mli
lib/fiat-p256/scalar.ml
lib/fiat-p256/point.mli
lib/fiat-p256/point.ml
lib/fiat-p256/parameters.mli
lib/fiat-p256/parameters.ml
lib/fiat-p256/opam
lib/fiat-p256/libfiat_p256_stubs.a
lib/fiat-p256/libfiat_p256_freestanding_stubs.a
lib/fiat-p256/field_element.mli
lib/fiat-p256/field_element.ml
lib/fiat-p256/fiat_p256__Scalar_mult.cmx
lib/fiat-p256/fiat_p256__Scalar_mult.cmti
lib/fiat-p256/fiat_p256__Scalar_mult.cmt
lib/fiat-p256/fiat_p256__Scalar_mult.cmi
lib/fiat-p256/fiat_p256__Scalar.cmx
lib/fiat-p256/fiat_p256__Scalar.cmti
lib/fiat-p256/fiat_p256__Scalar.cmt
lib/fiat-p256/fiat_p256__Scalar.cmi
lib/fiat-p256/fiat_p256__Point.cmx
lib/fiat-p256/fiat_p256__Point.cmti
lib/fiat-p256/fiat_p256__Point.cmt
lib/fiat-p256/fiat_p256__Point.cmi
lib/fiat-p256/fiat_p256__Parameters.cmx
lib/fiat-p256/fiat_p256__Parameters.cmti
lib/fiat-p256/fiat_p256__Parameters.cmt
lib/fiat-p256/fiat_p256__Parameters.cmi
lib/fiat-p256/fiat_p256__Field_element.cmx
lib/fiat-p256/fiat_p256__Field_element.cmti
lib/fiat-p256/fiat_p256__Field_element.cmt
lib/fiat-p256/fiat_p256__Field_element.cmi
lib/fiat-p256/fiat_p256__Error.cmx
lib/fiat-p256/fiat_p256__Error.cmti
lib/fiat-p256/fiat_p256__Error.cmt
lib/fiat-p256/fiat_p256__Error.cmi
lib/fiat-p256/fiat_p256__.ml
lib/fiat-p256/fiat_p256__.cmx
lib/fiat-p256/fiat_p256__.cmt
lib/fiat-p256/fiat_p256__.cmi
lib/fiat-p256/fiat_p256.mli
lib/fiat-p256/fiat_p256.ml
lib/fiat-p256/fiat_p256.cmxs
lib/fiat-p256/fiat_p256.cmxa
lib/fiat-p256/fiat_p256.cmx
lib/fiat-p256/fiat_p256.cmti
lib/fiat-p256/fiat_p256.cmt
lib/fiat-p256/fiat_p256.cmi
lib/fiat-p256/fiat_p256.cma
lib/fiat-p256/fiat_p256.a
lib/fiat-p256/error.mli
lib/fiat-p256/error.ml
lib/fiat-p256/dune-package
lib/fiat-p256/META
lib/fiat-p256
doc/fiat-p256/odoc-pages/implementation.mld
doc/fiat-p256/odoc-pages
doc/fiat-p256/README.md
doc/fiat-p256/LICENSE
doc/fiat-p256/CHANGES.md
doc/fiat-p256