CertiCrypt

swMATH9443MaRDI QIDQ21426

No author found.

Described by source

• Formal certification of code-based cryptographic proofs

Related Items (4)

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

This page was built for software: CertiCrypt