Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] How formal verification makes AWS Nitro the fi...

Email Gateway (Jun 10 2026 at 20:26):

From: Lawrence Paulson <lp15@cam.ac.uk>

Today, the Isabelle-verified Nitro Isolation Engine went live on AWS.

https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation

Larry

Email Gateway (Jun 11 2026 at 17:18):

From: Alex Shkotin <alex.shkotin@gmail.com>

:clap:

ср, 10 июн. 2026 г. в 23:26, Lawrence Paulson <lp15@cam.ac.uk>:

Today, the Isabelle-verified Nitro Isolation Engine went live on AWS.

https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation

Larry

Last updated: Jun 12 2026 at 04:13 UTC