Email Gateway (Dec 07 2025 at 15:18): Email Gateway (Dec 07 2025 at 15:18):From: Lawrence Paulson <lp15@cam.ac.uk>
This video gives an overview of the AWS Nitro architecture, the new separation kernel (Nitro Isolation Engine) and the verification effort. It is aimed at a general audience but a few Isabelle details can be spotted.
Larry
Last updated: Feb 22 2026 at 05:16 UTC