EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation (via amw-zero) — discussion

#formalmethods #osdev #security #virtualization