Formal Proof of Provable Security by Game-Playing in a Proof Assistant

DOI10.1007/978-3-540-75670-5_10zbMath1138.94345OpenAlexW1577115042MaRDI QIDQ3503878

Nicolas Marti, Reynald Affeldt, Miki Tanaka

Publication date: 10 June 2008

Published in: Provable Security (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Related Items (3)

Revisiting the False Acceptance Rate Attack on Biometric Visual Cryptographic Schemes ⋮ Certifying assembly with formal security proofs: the case of BBS ⋮ Beyond Provable Security Verifiable IND-CCA Security of OAEP

Uses Software

• Unnamed Item

This page was built for publication: Formal Proof of Provable Security by Game-Playing in a Proof Assistant