# seL4

> Entity coverage from Web Pulse
> Last updated: 2026-06-13T04:57:14.448479+00:00
> 1 articles mentioning **seL4**

- [EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation](https://wpnews.pro/news/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of) — 2026-06-11