2 ms·EC2's "isolation engine" provides mathematical assurance of VM isolation1 points by mooreds 2mo ago