CertiKOS: A Step Toward Hacker-Resistant Operating Systems

Researchers from Yale University have unveiled CertiKOS, the world’s first operating system that runs on multi-core processors and shields against cyber-attacks. Scientists believe this could lead to a new generation of reliable and secure systems software. Led by Zhong Shao, professor of computer science at Yale, the researchers developed an operating system that incorporates formal […]
The post CertiKOS: A Step Toward Hacker-Resistant Operating Systems appeared first on SciTech Da