News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code.

Re:Formal Verification Creates Hacker-Proof Code by nixpulvis on Friday October 21, 2016 @12:52PM (#12762092)
I wouldn't call anything unhackable.
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by macawfish on Friday October 21, 2016 @01:00PM (#12762195)
Sometimes the best hack is to leave a unhackable program alone. And by unhackable I mean proprietary.
[ Parent | on HN ]