Ross J. Anderson, Nicholas Boucher. If It's Provably Secure, It Probably Isn't: Why Learning from Proof Failure Is Hard. In Frank Stajano, Vashek Matyás, Bruce Christianson, Jonathan Anderson, editors, Security Protocols XXVIII - 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers. Volume 14186 of Lecture Notes in Computer Science, pages 199-204, Springer, 2023. [doi]
Abstract is missing.