Jolyon Clulow. Robbing the Bank with a Theorem Prover - (Transcript of Discussion). In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers. Volume 5964 of Lecture Notes in Computer Science, pages 172-177, Springer, 2007. [doi]
Abstract is missing.