CertiCrypt

swMATH9443MaRDI QIDQ21426FDOQ21426

Author name not available (Why is that?)

Described by source

• Formal certification of code-based cryptographic proofs

Cited In (4)

• Verifiable Security of Boneh-Franklin Identity-Based Encryption
• Programming Language Techniques for Cryptographic Proofs
• A Library for Algorithmic Game Theory in Ssreflect/Coq
• Beyond Provable Security Verifiable IND-CCA Security of OAEP

This page was built for software: CertiCrypt