To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Elliptic Curve Cryptography with primitives taken from Fiat
Install
Authors
-
HHannes Mehnert <hannes@mehnert.org>
-
NNathan Rebours <nathan.p.rebours@gmail.com>
-
CClément Pascutto <clement@tarides.com>
-
EEtienne Millon <me@emillon.org>
-
AAndres Erbsen <andreser@mit.edu>
-
GGoogle Inc.
-
JJade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
-
MMassachusetts Institute of Technology
-
ZZoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
Maintainers
Sources
mirage-crypto-0.11.1.tbz
sha256=0cda147b20a92bf70c5c9eb7f55c675d03abc76bbd4b1f0dd9cf7fc38016d29c
sha512=36e184c950f8ac51283cbcc2ccea84240c9369c3a5b36d8d0253d45a53b979ca97bd779450c79510205a9d257cc5916c42ab217111b4cad62758292648c79bc3
Description
An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) algorithms using code from Fiat (https://github.com/mit-plv/fiat-crypto).
The curves P224 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.
Dependencies (7)
-
mirage-crypto-rng
= version
-
mirage-crypto
= version
-
eqaf
>= "0.7"
- dune-configurator
-
cstruct
>= "6.0.0"
-
ocaml
>= "4.08.0"
-
dune
>= "2.7"
Dev Dependencies (7)
-
yojson
with-test & >= "1.6.0"
-
ppx_deriving
with-test
-
ppx_deriving_yojson
with-test
-
asn1-combinators
with-test & >= "0.2.5"
-
alcotest
with-test & >= "0.8.1"
-
hex
with-test
-
mirage-crypto-pk
with-test & = version
Used by (10)
-
awa
>= "0.0.3"
- dirsp-proscript-mirage
-
dns-certify
>= "5.0.1"
- dnssec
-
letsencrypt
>= "0.4.0"
-
ssh-agent
>= "0.4.0"
-
tls
>= "0.13.1"
- u2f
- webauthn
-
x509
>= "0.12.0"
Conflicts (1)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page