ssprove
by SSProve
A foundational framework for modular cryptographic proofs in Coq
AI summary
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
- stars
- 56
- forks
- 10
- watching
- 8
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Cryptography framework
A framework for machine-checked proofs of cryptography in the computational model.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
Coinductive proof library
A Coq library for proving properties about stateful systems through parameterized coinduction
Cryptographic framework
A cryptographic framework providing unified APIs for secure data protection across multiple platforms
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Cryptography validator
A framework for formal verification and validation of cryptographic proofs using Coq
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Syntax framework
A framework for abstract syntactical reasoning in Coq.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
Verification framework
A verification system for reasoning about sequential heap-manipulating programs using separation logic and dependent types
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions ssprove.
