News for hackers. Stuff that matters.

shlomifr

Re:The Case for Formal Verification (2013) on Monday April 21, 2014 @04:32AM (#7620284)
This is very relevant in the light of Heartbleed. Core security code should be verified formally, there is no other way to guarantee correctness of implementation.