Another Look at Provable Security
Summary
This article critiques the provable security paradigm in cryptography, encouraging skepticism about security guarantees derived from formal proofs. It highlights the need to critically analyze both strengths and weaknesses of provable security and references key figures like Koblitz and Menezes.