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

2 points by kyboren 2y ago ↗ HN

1 comment

[ 3.2 ms ] story [ 26.6 ms ] thread

kyboren 2y ago ↗

Suggested reading in honor of Ross Anderson's passing