Robbing the bank with a theorem prover (2005) [pdf] (cl.cam.ac.uk)

2 points by kyboren 2y ago ↗ HN

1 comment

[ 2.8 ms ] story [ 11.8 ms ] thread

kyboren 2y ago ↗

Suggested reading in honor of Ross Anderson's passing