CertiCrypt

MaRDI QIDQ21426swMATHFDO

Official website http://certicrypt.gforge.inria.fr/

Described by source

• Formal certification of code-based cryptographic proofs

Cited in

(4)

• A library for algorithmic game theory in \textsf{Ssreflect/Coq}
• Beyond provable security verifiable IND-CCA security of OAEP
• Verifiable security of Boneh-Franklin identity-based encryption
• Programming language techniques for cryptographic proofs

This page was built for software: CertiCrypt