Fundamental problems in provable security and cryptography

Alexander W.  Dent

Paper 2006/278 Original: eprint.iacr.org/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.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint.
History: 2006-08-17: last updated; 2006-08-17: published
Short URL: https://ia.cr/2006/278
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2006/278,
      author = {Alexander W.  Dent},
      title = {Fundamental problems in provable security and cryptography},
      howpublished = {Cryptology {ePrint} Archive, Paper 2006/278},
      year = {2006},
      url = {https://eprint.iacr.org/2006/278}
}