Mirror of BoringSSL (grpc依赖)
https://boringssl.googlesource.com/boringssl
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
286 B
11 lines
286 B
5 years ago
|
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.
|