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

Date: received 20 Nov 2019, last revised 29 Jun 2021

Contact author: koblitz at uw edu

Available format(s): PDF | BibTeX Citation

Version: 20210629:211218 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]