4 ms·
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. seL
by ryao 10y ago
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.
- Jweb_Guru 10y agoUh, 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.