News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code. Parent comment

Re:Formal Verification Creates Hacker-Proof Code by nickpsecurity on Friday October 21, 2016 @01:14PM (#12762363)
Good thinking. That's exactly how they did it:

https://news.ycombinator.com/item?id=12762224

[ Parent | on HN ]

There are no comments on this comment yet.