AWS Compute Blog
Author: Ali Saidi
AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Ali Saidi is a VP and Distinguished Engineer at AWS Millions of customers use the AWS Nitro System to protect their most sensitive workloads, and AWS is an industry leader in innovation to secure customer data. Helping our customers keep their data secure and confidential is our highest priority, and we continue to make investments […]