Nitro Hypervisor — Web Pulse coverage

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation :: https://wpnews.pro/news/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of