New hacker-resistant system could change how cloud services are designed, deployed
As the first formally verified system for cloud computing, SeKVM could transform the way cloud services are designed, developed, deployed, and trusted.
Ronghui Gu Jason Nieh Xupeng Li Software Systems Laboratory Columbia Engineering Tang Family Assistant Professor
Source: devdiscourse.com