@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. },
}