Sign In

Communications of the ACM

ACM TechNews

A Big Step Towards Cybersecurity's Holy Grail

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
Artist's representation of provable security.

A team of Carnegie Mellon University CyLab researchers has developed a provably secure computing environment that protects users communication with their devices from all other compromised operating systems, application software, and other devices.


Carnegie Mellon University (CMU) scientists have unveiled a provably secure computing environment that employs users' device communications to grant them immunity from compromised components.

The researchers proposed an input/output (I/O) separation model that precisely describes mechanisms to safeguard the communications of isolated applications running on often-vulnerable operating systems like Windows, Linux, or MacOS.

The CMU team said this is the first mathematically-proven model that enables communication separation for all types of I/O hardware and I/O kernels.

CMU's Virgil Gilgor said, "Business, government, and industry can benefit from using this platform and its VDI [Virtual Desktop Infrastructure] application because of the steady and permanent shift to remote work and the need to protect sensitive applications from future attacks. Consumers can also benefit from adopting this platform and its VDI clients to secure access banking and investment accounts, perform provably secure e-commerce transactions, and protect digital currency."

From Carnegie Mellon University CyLab Security and Privacy Institute
View Full Article


Abstracts Copyright © 2021 SmithBucklin, Washington, DC, USA


No entries found