4 ms·Robbing the bank with a theorem prover (2005) [pdf]2 points by kyboren 3y agokyboren 3y agoSuggested reading in honor of Ross Anderson's passing