News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by AnimalMuppet on Friday October 21, 2016 @12:46PM (#12761991)
See: Microsoft Outlook deciding that executable attachments were a good idea. The feature worked according to spec (I assume), but wow did that ever open the door to a whole lot of hacking...
Re:Formal Verification Creates Hacker-Proof Code by CiPHPerCoder on Friday October 21, 2016 @12:48PM (#12762027)
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.