A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Errors in Computational Complexity Proofs for Protocols
[chapter]
2008
Advances in Information Security
Preserved Fulltext
Proofs are invaluable tools in assuring protocol implementers about the security properties of protocols. However, several instances of undetected flaws in the proofs of protocols (resulting in flawed protocols) undermine the credibility of provably-secure protocols.
doi:10.1007/978-0-387-87969-7_8
fatcat:vrufovzkrbbe7furt7f3cisrva