CertiCrypt

swMATH9443MaRDI QIDQ21426FDOQ21426

Author name not available (Why is that?)

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