• EasyCrypt

  • Referenced in 33 articles [sw09738]
  • then compiled into verifiable proofs in the CertiCrypt framework. The tool supports most common reasoning...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • 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...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...