@InProceedings{YABCx07, author = { Paul Youn and Ben Adida and Mike Bond and Jolyon Clulow and Jonathan Herzog and Amerson Lin and Ronald L. Rivest and Ross Anderson }, title = { Robbing the bank with a theorem prover }, doi = { 10.1007/978-3-642-17773-6_21 }, pages = { 171 }, booktitle = { Proceedings of the Fifteenth International Conference on Security Protocols }, publisher = { Springer }, isbn = { 3-642-17772-7, 978-3-642-17772-9 }, date = { 2007 }, OPTyear = { 2007 }, OPTmonth = { April 18--20, }, editor = { Bruce Christianson and Bruno Crispo and James Malcolm and Michael Roe }, series = { Lecture Notes in Computer Science }, volume = { 5964 }, eventtitle = { SPW'10 }, eventdate = { 2007-04-18/2007-04-20 }, venue = { Brno, Czech Republic }, urla = { discussion.doi }, htmlnote = { For full report see YABCx05. }, }