Hacker-Resistant Cloud Software System

Whenever you buy something online, your customer data is automatically updated and stored on thousands of virtual machines in the cloud. But up to now, there has been no way to guarantee that a software system is secure from bugs, hackers, and vulnerabilities. Now, researchers have developed SeKVM, the first system that guarantees — through a mathematical proof — the security of virtual machines in the cloud.