News for hackers. Stuff that matters.
Re:The NSA Is Hoarding Vulnerabilities by ryao on Friday August 26, 2016 @03:14PM (#12368592)
If you are doing formal verification, then you can make your own model, create software and attempt to prove that the software has issues within that model. seL4 is just one example of someone doing that.
Re:The NSA Is Hoarding Vulnerabilities by Jweb_Guru on Monday August 29, 2016 @12:46PM (#12383152)
Uh, I know. My point is that you won't always know all the security vectors you have to deal with. There's no way of just asserting that your model is free of side-channel attacks without (minimally) intimate knowledge of the hardware it's going to run on.