certicrypt
by EasyCrypt
CertiCrypt Coq Framework
AI summary
Cryptography validator
A framework for formal verification and validation of cryptographic proofs using Coq
- stars
- 33
- forks
- 5
- watching
- 10
Similar projects
Found by comparing what the projects do, not just their names.
Graph verifier
A verification toolset for graph-manipulating programs written in Coq.
C compiler
A compiler for a subset of the C language that can be compiled with any standard C compiler, used in formal verification and proof assistance.
Verification library
Enables verified interaction between Coq programs and C libraries
Cryptography framework
A framework for machine-checked proofs of cryptography in the computational model.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
Coq verifier
Formal verification of Python code using Coq
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
C verifier
A template project for verifying the correctness of C programs in Coq
Validator
A library to simplify validation by providing a declarative way to define and reuse validation logic across multiple fields.
zmap/zlint370
Certificate validator
A tool for validating and enforcing conformance to X.509 certificate standards and PKI requirements.
Checksum calculator
Provides a simple C++ library to compute cryptographic checksums.
Cryptography library
A cryptographic toolkit written in Common Lisp.
