Ssprove
A foundational framework for modular cryptographic proofs in Coq
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Hacspec | 230 |  | 4 | 6 months ago | 8 | March 20, 2023 | 96 | mit | Coq | |
| A specification language for cryptography primitives. | ||||||||||
| Fcf | 44 | 6 months ago | 6 | other | Coq | |||||
| Foundational Cryptography Framework for machine-checked proofs of cryptography. | ||||||||||
| Ssprove | 43 | 8 months ago | 6 | mit | Coq | |||||
| A foundational framework for modular cryptographic proofs in Coq | ||||||||||
| Aws Lc Verification | 16 | 4 months ago | 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. | ||||||||||
| Cryptol Semantics | 15 | 6 years ago | 8 | Coq | ||||||
| Semantics for Cryptol | ||||||||||
| Verse Coq | 12 | 10 months ago | 4 | apache-2.0 | Coq | |||||
| VERified asSembler for cryptographic primitives | ||||||||||
Alternatives To SsproveSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Cryptography Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Cryptography
Coq