Journal
JOURNAL OF CRYPTOLOGY
Volume 20, Issue 1, Pages 3-37Publisher
SPRINGER
DOI: 10.1007/s00145-005-0432-z
Keywords
cryptography; public key; provable security
Ask authors/readers for more resources
We give an informal analysis and critique of several typical provable security results. In some cases there are intuitive but convincing arguments for rejecting the conclusions suggested by the formal terminology and proofs, whereas in other cases the formalism seems to be consistent with common sense. We discuss the reasons why the search for mathematically convincing theoretical evidence to support the security of public-key systems has been an important theme of researchers. However, we argue that the theorem-proof paradigm of theoretical mathematics is often of limited relevance here and frequently leads to papers that are confusing and misleading. Because our paper is aimed at the general mathematical public, it is self-contained and as jargon-free as possible.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available