Errors in Computational Complexity Proofs for Protocols [chapter]

Kim-Kwang Raymond Choo
2008 Advances in Information Security  
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