Columbia Engineering researchers 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. This is the first time that a real-world multiprocessor software system has been shown to be mathematically correct and secure,’ said Jason Nieh, professor of computer science and co-director of the Software Systems Laboratory.
Source: https://www.helpnetsecurity.com/2021/05/31/sekvm-securing-virtual-machines/