Jade Philipoom 607691568f g: add documentation pointing to p256 modular reduction verification in Coq ...

Added a markdown file with some explanation and links to Coq code in a
public GitHub repository.

BUG=none
BRANCH=cr50
TEST=none

Change-Id: I4b40a94ce8686e5115b6b09825dfde0894d67a50
Signed-off-by: Jade Philipoom <jadep@google.com>
Reviewed-on: https://chromium-review.googlesource.com/1080795
Commit-Ready: Vincent Palatin <vpalatin@chromium.org>
Tested-by: Vincent Palatin <vpalatin@chromium.org>
Reviewed-by: Vincent Palatin <vpalatin@chromium.org>

2018-06-01 06:26:28 -07:00

..

aes_cmac.c

g: add AES CMAC according to RFC 4493

2018-05-14 03:14:46 -07:00

aes.c

CR50: configure AES rand stalls

2017-05-15 20:51:37 -07:00

app_cipher.c

CR50: configure AES rand stalls

2017-05-15 20:51:37 -07:00

app_key.c

Cr50: Dcrypto: calculate appkey digests at runtime to save space.

2018-05-17 22:21:08 -07:00

bn.c

g: speed up prime generation by ~40% (1024 bit).

2017-11-21 18:53:36 -08:00

compare.c

CR50: add a constant time buffer equals implementation

2016-11-11 14:27:23 -08:00

dcrypto_bn.c

g: add caching around modulus loading.

2018-04-03 01:29:16 -07:00

dcrypto_p256.c

g: use deterministic k for individual attestation certificate ECDSA

2017-08-03 19:23:22 -07:00

dcrypto_runtime.c

g: add caching around modulus loading.

2018-04-03 01:29:16 -07:00

dcrypto_sha512.c

g: RSA randomization

2017-07-06 21:53:35 +00:00

dcrypto.h

g: add AES CMAC according to RFC 4493

2018-05-14 03:14:46 -07:00

drbg_rfc6979.c

g: use deterministic k for individual attestation certificate ECDSA

2017-08-03 19:23:22 -07:00

gcm.c

CR50: add a hardware backed GCM implementation

2017-01-27 03:50:47 -08:00

hkdf.c

CR50: replace dcrypto_memset with always_memset

2017-05-15 17:34:30 -07:00

hmac.c

CR50: replace dcrypto_memset with always_memset

2017-05-15 17:34:30 -07:00

internal.h

g: add caching around modulus loading.

2018-04-03 01:29:16 -07:00

key_ladder.c

cr50: add derivation functions using the key-ladder

2017-06-13 03:45:15 -07:00

p256_ec.c

CR50:Accelerate p256 code

2016-12-22 00:40:29 +00:00

p256_ecies.c

CR50:Accelerate p256 code

2016-12-22 00:40:29 +00:00

p256.c

CR50: replace dcrypto_memset with always_memset

2017-05-15 17:34:30 -07:00

proofs_p256.md

g: add documentation pointing to p256 modular reduction verification in Coq

2018-06-01 06:26:28 -07:00

rsa.c

g: RSA randomization

2017-07-06 21:53:35 +00:00

sha1.c

CR50: port dcrypto/cr50 code to depend on third_party/cryptoc

2016-05-31 23:58:31 -07:00

sha256.c

CR50: configure SHA random stalls

2017-05-29 09:03:54 -07:00

sha384.c

CR50: add support for SHA-384 & 512

2016-12-12 23:28:20 -08:00

sha512.c

CR50: add support for SHA-384 & 512

2016-12-12 23:28:20 -08:00

x509.c

Fix compilation with coreboot-sdk

2017-08-04 18:08:16 -07:00