%0 Conference Paper %1 conf/spw/YounABCHLRA07 %A Youn, Paul %A Adida, Ben %A Bond, Mike %A Clulow, Jolyon %A Herzog, Jonathan %A Lin, Amerson %A Rivest, Ronald L. %A Anderson, Ross J. %B Security Protocols Workshop %D 2007 %E Christianson, Bruce %E Crispo, Bruno %E Malcolm, James A. %E Roe, Michael %I Springer %K %P 171 %T Robbing the Bank with a Theorem Prover - (Abstract). %U http://dblp.uni-trier.de/db/conf/spw/spw2007.html#YounABCHLRA07 %V 5964 %@ 978-3-642-17772-9

@inproceedings{conf/spw/YounABCHLRA07, added-at = {2023-12-13T09:01:51.000+0100}, author = {Youn, Paul and Adida, Ben and Bond, Mike and Clulow, Jolyon and Herzog, Jonathan and Lin, Amerson and Rivest, Ronald L. and Anderson, Ross J.}, biburl = {https://www.bibsonomy.org/bibtex/2e1d64714d55ccd01f4014a2da7453b4a/admin}, booktitle = {Security Protocols Workshop}, crossref = {conf/spw/2007}, editor = {Christianson, Bruce and Crispo, Bruno and Malcolm, James A. and Roe, Michael}, ee = {https://doi.org/10.1007/978-3-642-17773-6_21}, interhash = {ca30fb59a728af94b9a3d06ca7dc088f}, intrahash = {e1d64714d55ccd01f4014a2da7453b4a}, isbn = {978-3-642-17772-9}, keywords = {}, pages = 171, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:01:51.000+0100}, title = {Robbing the Bank with a Theorem Prover - (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/spw/spw2007.html#YounABCHLRA07}, volume = 5964, year = 2007 }