T-KVM : A Trusted architecture for KVM ARM v 7 and v 8 Virtual Machines Securing Virtual Machines by means of KVM , TrustZone , TEE and SELinux
seL4: formal verification of an OS kernel