MILS virtualization for Integrated Modular Avionics
SubVirt: implementing malware with virtual machines