A virtualized separation kernel for mixed criticality systems
Eliminating the hypervisor attack surface for a more secure cloud