"The Surprising Security Benefits of End-to-End Formal Proofs" http://www.cccblog.org/2018/06/13/the-surprising-security-benefits-of-end-to-end-formal-proofs/ … though Adam has pretty uncompromising views about this stuff, this is a nicely nuanced article
Replying to @johnregehr
I wonder how much they paid to acquire that paparazzi photo of him.
9:27 PM - 13 Jun 2018
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.