Robbing the Bank with a Theorem Prover - (Abstract). - Paul Youn; Ben Adida; Mike Bond; Jolyon Clulow; Jonathan Herzog; Amerson Lin; Ronald L. Rivest; Ross J. Anderson (Security Protocols Workshop, 2007)