Critical perspectives on provable security:
Fifteen years of "Another Look" papers

Neal Koblitz and Alfred Menezes
Advances in Mathematics of Communications, 13 (2019), 517-558.

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.

Journal paper       Updated paper (May 9 2023)