- Referenced in 33 articles
- then compiled into verifiable proofs in the CertiCrypt framework. The tool supports most common reasoning...
- Referenced in 6 articles
- Programming language techniques for cryptographic proofs. CertiCrypt is a general framework to certify the security ... cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which ... assist in constructing proofs. Earlier publications of CertiCrypt provide an overview of its architecture...
- Referenced in 1906 articles
- Coq is a formal proof management system. It...