News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by nabla9 on Friday October 21, 2016 @01:39PM (#12762660)
In the examples you mention (document readers) the bugs become security problems because programs have too much privileges. Easiest way to remove security problems is not to remove bugs, but remove privileges. Privilege revocation, privilege separation, W^X work wonders.

Protocols like https, ssl and cryptography and operating systems would be my first choices.

There are no comments on this comment yet.