> SeKVM Makes Cloud Computing Provably Secure > Columbia University researchers have created a secure Linux-based hypervisor > Now computer scientists at Colu

> SeKVM Makes Cloud Computing Provably Secure > Columbia University researchers have created a secure Linux-based hypervisor > Now computer scientists at Columbia University have developed what they say is the first hypervisor that can guarantee secure cloud computing. > The researchers dubbed their new technique microverification, which reduces the amount of work needed to verify a hypervisor. It breaks down a hypervisor into a small core and a set of untrusted services, and then goes on to prove the hypervisor secure by verifying the core alone. The core has no vulnerabilities for a hack to exploit, and this core mediates all the hypervisor's interactions with virtual machines, so even if a hack undermines one virtual machine, it does not compromise the others. It sad how IEEE's Spectrum carried this nonsense. There clearly wasn't any real technical review of these statements prior to publishing.