huping
220c3565da
初始化提交
|
1 year ago | |
|---|---|---|
| .. | ||
| BUILD.gn | 1 year ago | |
| LICENSE | 1 year ago | |
| METADATA | 1 year ago | |
| README.chromium | 1 year ago | |
| README.md | 1 year ago | |
| curve25519.c | 1 year ago | |
| curve25519_32.h | 1 year ago | |
| curve25519_64.h | 1 year ago | |
| curve25519_tables.h | 1 year ago | |
| internal.h | 1 year ago | |
| make_curve25519_tables.py | 1 year ago | |
| p256.c | 1 year ago | |
| p256_32.h | 1 year ago | |
| p256_64.h | 1 year ago | |
README.chromium
Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
Short Name: fiat-crypto
URL: https://github.com/mit-plv/fiat-crypto
Version: git (see METADATA)
License: MIT
License File: LICENSE
Security Critical: yes
Description:
See README.md and METADATA.
Short Name: fiat-crypto
URL: https://github.com/mit-plv/fiat-crypto
Version: git (see METADATA)
License: MIT
License File: LICENSE
Security Critical: yes
Description:
See README.md and METADATA.