Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the groundbreaking Nitro Isolation Engine in this 46-minute conference talk from AWS re:Invent 2025, where AWS engineers reveal how formal verification provides mathematical certainty for cloud security. Discover how the AWS Nitro System already revolutionized cloud computing by ensuring zero operator access to customer data through always-on confidential computing. Learn about the design and implementation of the new Nitro Isolation Engine enhancement that harnesses formal verification to mathematically prove workload isolation between customers and AWS operators. Gain insights into how this innovation pioneers a new standard for mathematically proven cloud security, building upon the existing Nitro System's protection mechanisms. Understand the technical foundations behind this advancement in cloud computing security and how formal verification methods are applied to enhance customer trust in AWS infrastructure isolation capabilities.
