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 CiPHPerCoder on Friday October 21, 2016 @12:48PM (#12762027)
See: https://github.com/w3c/svgwg/issues/266
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by nickpsecurity on Friday October 21, 2016 @01:13PM (#12762342)
Well-written report. I agree with the recommendation.
[ Parent | on HN ]