Certicrypt
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Aws Lc Verification | 16 | 6 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. | ||||||||||
| Micro Policies Coq | 15 | 5 years ago | 1 | other | Coq | |||||
| Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors | ||||||||||
| Ace Riscv | 14 | 5 months ago | apache-2.0 | Rust | ||||||
| Assured Confidential Execution (ACE) for RISC-V | ||||||||||
| Certicrypt | 13 | 8 years ago | other | Coq | ||||||
| CertiCrypt Coq Framework | ||||||||||
Alternatives To CerticryptSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Security Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Security
Scheme
Coq