5 ms·
If we can't make reasonably secure controllers with only 4KB of RAM, perhaps we shouldn't be making controllers with only 4KB of RAM. Tech and market pressure
by Sporktacular 8y ago
If we can't make reasonably secure controllers with only 4KB of RAM, perhaps we shouldn't be making controllers with only 4KB of RAM.
Tech and market pressure will make more capable processors affordable if security is prioritised.
- Dylan16807 8y agoBah, don't conflate 'microkernel' with 'secure'. For a small system like that, the shining ideal is probably a formally verified single program with no real OS to speak of.
- Sporktacular 8y agoI don't need to - the paper just did that by conflating monolithic kernels with security failures that were avoidable.
- Dylan16807 8y agoThat doesn't mean they are the only way to get security.
- Sporktacular 8y agoIf you can afford formal verification and application programmers also fluent in hardware level coding, you can probably afford more RAM. I'd want to see a solid paper comparing the security of the approach you mention to a microkernel+app. Until then we have this. But agreed, there are other ways, of varying practicality, to achieving security.