package fiat-p256

  1. Overview
  2. No Docs
Primitives for Elliptic Curve Cryptography taken from Fiat

Install

github.com Edit opam file

Authors

  1. E
    Etienne Millon <me@emillon.org>
  2. A
    Andres Erbsen <andreser@mit.edu>
  3. G
    Google Inc.
  4. J
    Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
  5. M
    Massachusetts Institute of Technology

Maintainers

  1. E
    Etienne Millon <me@emillon.org>

Sources

fiat-p256-v0.1.0.tbz
sha256=e294aa1f920205da2c9f0ab909e2755b070702cb4fdb47a94b9c18e55cdf774d
sha512=36f55cd9a9a7d11fe1c29a19a0e14b0354da7e8e0c2ae460f754c8f4646bcd57fa26270078d9c66e211c6ad352ff75b560923594a5ad5f2e4ff7f5298c96668e

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.

Tags

org:mirage

Published: 30 Jun 2019

Dependencies (7)

  1. ppx_expect
  2. hex
  3. dune-configurator
  4. dune >= "1.6.0"
  5. cstruct >= "3.5.0" & < "6.1.0"
  6. bigarray-compat
  7. ocaml < "5.0"

Dev Dependencies (4)

  1. yojson with-test & >= "1.6.0"
  2. ppx_deriving_yojson with-test
  3. asn1-combinators with-test
  4. alcotest with-test & < "1.4.0"

Used by (1)

  1. tls >= "0.12.0" & < "0.13.0"

Conflicts

None