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