Nitro Isolation Engine

Assess

Platforms

A formally verified separation kernel component that isolates virtual machines.

Why it's here

Placed in Assess: 1 article(s) of evidence from 1 source(s), led by product launches, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.

Evidence (1)

8The New Stack·6/10/2026product_launch
AWS launches Graviton5 with formally verified VM isolation
AWS has generally released its Graviton5 processor and two new EC2 instance families, M9g and M9gd, claiming up to 25% better compute performance than Graviton4. The new instances run on the sixth-generation Nitro System and include the Nitro Isolation Engine, a formally verified Rust-based security component designed to isolate virtual machines.