Security News > 2021 > May > SeKVM: Securing virtual machines in the cloud

They have developed SeKVM, the first system that guarantees - through a mathematical proof - the security of virtual machines in the cloud.

The researchers hope to lay the foundation for future innovations in system software verification, leading to a new generation of cyber-resilient system software.

SeKVM as the first formally verified system for cloud computing.

Nieh and Gu's work is the first to verify a commodity system, specifically the widely-used KVM hypervisor, which is used to run virtual machines by cloud providers such as Amazon.

SeKVM was verified using MicroV, a new framework for verifying the security properties of large systems.

The changes needed to retrofit a large system are quite modest-the researchers demonstrated that if the small core of the larger system is intact, then the system is secure and no private data will be leaked.

News URL

http://feedproxy.google.com/~r/HelpNetSecurity/~3/i28qDFjCCRc/