Cryptology ePrint Archive: Report 2019/1336

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

Neal Koblitz and Alfred Menezes

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.

Category / Keywords: provable security, protocols, cryptographic assumptions, tightness

Original Publication (with minor differences): Advances in Mathematics of Communications
DOI:
10.3934/amc.2019034

Date: received 20 Nov 2019

Contact author: koblitz at uw edu

Available format(s): PDF | BibTeX Citation

Version: 20191122:182248 (All versions of this report)

Short URL: ia.cr/2019/1336


[ Cryptology ePrint archive ]