Sign In

Communications of the ACM

ACM TechNews

Columbia Engineering Team Builds First Hacker-Resistant Cloud Software System

View as: Print Mobile App Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
A hypervisor is a software layer installed on the physical hardware, which allows the physical machine to be split into many virtual machines.

Columbia Engineering researchers developed SeKVM, which they describe as the first system that guarantees (through a mathematical proof) the security of virtual machines in the cloud.


The Columbia Engineering researchers who developed SeKVM, the first formally verified cloud computing software system, hope it will foster a new generation of cyber-resilient system software.

Columbia Engineering's Jason Nieh said, "This is the first time that a real-world multiprocessor software system has been shown to be mathematically correct and secure. This means that users' data are correctly managed by software running in the cloud and are safe from security bugs and hackers."

Nieh and Columbia Engineering's Ronghui Gu slightly modified the KVM commodity hypervisor, which operates virtual machines (VMs) from cloud providers, to demonstrate security and mathematically guarantee VMs' isolation from one another.

The new MicroV (microverification) framework confirmed SeKVM's security.

From Columbia Engineering
View Full Article


Abstracts Copyright © 2021 SmithBucklin, Washington, DC, USA


No entries found