You are looking at a specific version 20060817:191504 of this paper. See the latest version.

Paper 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 PS
Category
Foundations
Publication info
Published elsewhere. Accepted for publication (after editing) in the Philosophical Transactions of the Royal Society, Series A
Contact author(s)
a dent @ rhul ac uk
History
2006-08-17: received
Short URL
https://ia.cr/2006/278
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.