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 spott on Friday October 21, 2016 @12:46PM (#12761990)
Only if the bug in the prover allows the bug in the prover, which seems unlikely (unless the bug is pretty huge).
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by timjver on Friday October 21, 2016 @12:49PM (#12762039)
"seems unlikely" isn't really cutting it, when we're talking about formal systems.
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by mekaj on Friday October 21, 2016 @09:13PM (#12766383)
Trivial, small example: the bug is the prover accepts all inputs.
[ Parent | on HN ]