Critical perspectives on provable security: Fifteen years of "another look" papers
Neal Koblitz, Alfred Menezes · Advances in Mathematics of Communications · 2019
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.