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...
[ Parent
| on HN ]
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.