Abstract
In this paper we document the transcript of the discussion of a presentation in which we explored the ways in which security proofs can fail, and their broader lessons for security engineering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Anderson, R., Boucher, N. (2023). If It’s Provably Secure, It Probably Isn’t: Why Learning from Proof Failure is Hard (Transcript of Discussion). In: Stajano, F., Matyáš, V., Christianson, B., Anderson, J. (eds) Security Protocols XXVIII. Security Protocols 2023. Lecture Notes in Computer Science, vol 14186. Springer, Cham. https://doi.org/10.1007/978-3-031-43033-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-031-43033-6_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-43032-9
Online ISBN: 978-3-031-43033-6
eBook Packages: Computer ScienceComputer Science (R0)