Reference:
seL4: from Data61
OKL4: from Open Kernel Lab
Coyotos: from John Hopkins,
Nova: from Dresden,
L3:
References: About seL4 seL4 Documentation Klein, Gerwin, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe et al. “seL4: Formal verification of an OS kernel.” In Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles (SOSP), pp. 207-220. 2009. Murray, Toby, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, and Gerwin Klein. “seL4: from general purpose to a proof of information flow enforcement.
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?