Towards a Formally Verified Security Monitor for VM-based Confidential Computing

Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le +2

Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential compu…