Formal Proof of Provable Security by Game-Playing in a Proof Assistant
- 5 October 2007
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An Approach to Formal Verification of Arithmetic Functions in AssemblyPublished by Springer Nature ,2007
- A Framework for Game-Based Security ProofsPublished by Springer Nature ,2007
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing ProofsPublished by Springer Nature ,2006
- A Probabilistic Hoare-style Logic for Game-Based Cryptographic ProofsPublished by Springer Nature ,2006
- Automated Security Proofs with Sequences of GamesPublished by Springer Nature ,2006
- Formal Verification of the Heap Manager of an Operating System Using Separation LogicPublished by Springer Nature ,2006
- Provable Security for Public Key SchemesPublished by Springer Nature ,2005
- Machine-Checked Security Proofs of Cryptographic Signature SchemesPublished by Springer Nature ,2005
- The Exact Security of Digital Signatures-How to Sign with RSA and RabinPublished by Springer Nature ,1996
- Random oracles are practicalPublished by Association for Computing Machinery (ACM) ,1993