14:58
2026-06-11
amazon.science
ai-research
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
Amazon Web Services has launched the M9g and M9gd EC2 instances powered by Graviton5 CPUs, which double core counts to 192 and introduce the Nitro Isolation Engine — the first formally verified hyperv…