Lean Crypto Formalization
Library for formalizing cryptography proofs in Lean
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Hacl Star | 1,575 |  | 2 | a month ago | 11 | June 15, 2023 | 36 | apache-2.0 | F* | |
| HACL*, a formally verified cryptographic library written in F* | ||||||||||
| 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. | ||||||||||
| Verifpal | 9 | 8 months ago | gpl-3.0 | Go | ||||||
| Cryptographic protocol analysis for real-world protocols. | ||||||||||
| Lean Crypto Formalization | 6 | 3 months ago | apache-2.0 | Lean | ||||||
| Library for formalizing cryptography proofs in Lean | ||||||||||
Alternatives To Lean Crypto FormalizationSelect To Compare
Alternative Project Comparisons
Popular Cryptography Projects
Popular Formal Methods Projects
Popular Security Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Cryptography
Formal Methods
Theorem Proving