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 thingexplainer on Friday October 21, 2016 @04:24PM (#12764362)
"Formal verification makes your code invulnerable against a very specific (though very powerful) attacker"
[ Parent | on HN ]

There are no comments on this comment yet.