EC2's "isolation engine" provides mathematical assurance of VM isolation

Posted 28 minutes ago by mooreds
1 points

https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation

0 comments