News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code.

Re:Formal Verification Creates Hacker-Proof Code by platz on Friday October 21, 2016 @12:37PM (#12761884)
how would they anticipate timing attacks with this method?
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by nickpsecurity on Friday October 21, 2016 @07:36PM (#12765858)
Lots of work in that area. Here's an example:

http://www.cse.psu.edu/~dbz5017/pub/pltiming-pldi12.pdf

[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by platz on Saturday October 22, 2016 @01:45PM (#12769672)
Impressive!
[ Parent | on HN ]