Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] YouTube video on the separation kernel verific...

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.

https://youtu.be/b0P55gHhG4g

Larry

Last updated: Jan 11 2026 at 16:28 UTC