Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross Anderson. Robbing the Bank with a Theorem Prover - (Abstract). 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 171, Springer, 2007. [doi]
Abstract is missing.