| hacspec/hacspec |
230 |
|
0 |
4 |
over 2 years ago |
8 |
March 20, 2023 |
96 |
mit |
Coq |
| A specification language for cryptography primitives. |
| adampetcher/fcf |
44 |
|
0 |
0 |
over 2 years ago |
0 |
|
6 |
other |
Coq |
| Foundational Cryptography Framework for machine-checked proofs of cryptography. |
| SSProve/ssprove |
43 |
|
0 |
0 |
almost 3 years ago |
0 |
|
6 |
mit |
Coq |
| A foundational framework for modular cryptographic proofs in Coq |
| awslabs/aws-lc-verification |
16 |
|
0 |
0 |
over 2 years ago |
0 |
|
17 |
apache-2.0 |
Coq |
| This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library. |
| GaloisInc/cryptol-semantics |
15 |
|
0 |
0 |
about 8 years ago |
0 |
|
8 |
|
Coq |
| Semantics for Cryptol |
| raaz-crypto/verse-coq |
12 |
|
0 |
0 |
almost 3 years ago |
0 |
|
4 |
apache-2.0 |
Coq |
| VERified asSembler for cryptographic primitives |
