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 pioneering technology establishes a new standard for mathematically proven cloud security, building upon the existing Nitro System's protection mechanisms. Understand the engineering principles behind formal verification techniques and how they enhance customer trust in cloud infrastructure security through transparent, mathematical proof rather than traditional assurance methods.
