Programming Language Techniques for Cryptographic Proofs

DOI10.1007/978-3-642-14052-5_10zbMath1291.68323OpenAlexW1589908756MaRDI QIDQ5747645

Santiago Zanella Béguelin, Benjamin Grégoire, Gilles Barthe

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_10

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (2)

Beyond Provable Security Verifiable IND-CCA Security of OAEP ⋮ Verifiable Security of Boneh-Franklin Identity-Based Encryption

Uses Software

• Coq
• CertiCrypt

This page was built for publication: Programming Language Techniques for Cryptographic Proofs