Abstract: The seL4 microkernel [3] is the first general-purpose operating system (OS) kernel with a formal proof of implementation correctness. By now, its verification covers functional correctness ...
The LiquidRazor MicroKernel is the lifecycle authority for isolated executable work inside the LiquidRazor Framework. It is transport-agnostic, but not runtime-naive. The MicroKernel does not care ...
k23 is an active research project exploring a more secure, modular, and easy to develop for operating system by using WebAssembly as the primary execution environment.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results