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

Neal Koblitz; Alfred Menezes

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. Major revision. Advances in Mathematics of Communications
DOI: 10.3934/amc.2019034
Keywords: provable security protocols cryptographic assumptions tightness
Contact author(s): koblitz @ uw edu
ajmeneze @ uwaterloo ca
History: 2024-06-13: last of 4 revisions; 2019-11-22: received; See all versions
Short URL: https://ia.cr/2019/1336
License: 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},
      url = {https://eprint.iacr.org/2019/1336}
}