Automated Security Proofs with Sequences of Games

DOI10.1007/11818175_32zbMath1161.94388OpenAlexW2110172854WikidataQ56921212 ScholiaQ56921212MaRDI QIDQ5756645

David Pointcheval, Bruno Blanchet

Publication date: 4 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11818175_32

Mathematics Subject Classification ID

Applications of game theory (91A80) Cryptography (94A60)

Related Items (8)

Automated proofs of block cipher modes of operation ⋮ Automated proofs for asymmetric encryption ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ A Calculus for Game-Based Security Proofs ⋮ Automated Proofs for Asymmetric Encryption ⋮ Another look at automated theorem-proving ⋮ Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps ⋮ Formal security proofs with minimal fuss: implicit computational complexity at work

This page was built for publication: Automated Security Proofs with Sequences of Games