Paper 2019/1336

Critical Perspectives on Provable Security: Fifteen Years of "Another Look" Papers

Neal Koblitz, University of Washington
Alfred Menezes, University of Waterloo
Abstract

We give an overview of our critiques of “proofs” of security and a guide to our papers on the subject that have appeared over the past decade and a half. We also provide numerous additional examples and a few updates and errata.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Advances in Mathematics of Communications
DOI
10.3934/amc.2019034
Keywords
provable securityprotocolscryptographic assumptionstightness
Contact author(s)
koblitz @ uw edu
ajmeneze @ uwaterloo ca
History
2023-05-09: last of 3 revisions
2019-11-22: received
See all versions
Short URL
https://ia.cr/2019/1336
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2019/1336,
      author = {Neal Koblitz and Alfred Menezes},
      title = {Critical Perspectives on Provable Security: Fifteen Years of "Another Look" Papers},
      howpublished = {Cryptology ePrint Archive, Paper 2019/1336},
      year = {2019},
      doi = {10.3934/amc.2019034},
      note = {\url{https://eprint.iacr.org/2019/1336}},
      url = {https://eprint.iacr.org/2019/1336}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.