3 ms·
Sel4 is an OS that is formally verified. It's security parameters are well-defined enough that you can use it to launch isolated VMs with... less secure OSes t
by dnautics 5y ago
Sel4 is an OS that is formally verified.
It's security parameters are well-defined enough that you can use it to launch isolated VMs with... less secure OSes that are sandboxed from each other.