Cryptology ePrint Archive: Report 2006/278

Fundamental problems in provable security and cryptography

Alexander W. Dent

Abstract: This paper examines methods for formally proving the security of cryptographic schemes. We show that, despite many years of active research, there are fundamental problems which have yet to be solved. We also present a new approach to one of the more controversial aspects of provable security: the random oracle model.

Category / Keywords: foundations /

Publication Info: Accepted for publication (after editing) in the Philosophical Transactions of the Royal Society, Series A

Date: received 17 Aug 2006

Contact author: a dent at rhul ac uk

Available formats: Postscript (PS) | Compressed Postscript (PS.GZ) | PDF | BibTeX Citation

Version: 20060817:191504 (All versions of this report)

Discussion forum: Show discussion | Start new discussion