Stay updated with breaking news from Software Systems Laboratory. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
A newly released, 96-page report by a computer expert in election security has found that one model of Dominion voting machines widely used in the 2020 election "suffers from critical vulnerabilities that can be exploited to subvert all of its security mechanisms."
As the first formally verified system for cloud computing, SeKVM could transform the way cloud services are designed, developed, deployed, and trusted.
Columbia Engineering researchers have developed SeKVM, the first system that guarantees--through a mathematical proof--the security of virtual machines in the cloud. ''This is the first time that a real-world multiprocessor software system has been shown to be mathematically correct and secure,'' said Computer Science Professor Jason Nieh. ''This means that users' data are correctly managed by software running in the cloud and are safe from security bugs and hackers.''