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 (June 13 2024)