2015 Nested Kernel
References:
- Dautenhahn, Nathan, Theodoros Kasampalis, Will Dietz, John Criswell, and Vikram Adve. “Nested kernel: An operating system architecture for intra-kernel privilege separation.” In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 191-206. 2015.
More
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?