CertiKOS: A breakthrough toward hacker-resistant operating systems

November 15, 2016

A team of Yale researchers led by Prof. Zhong Shao has unveiled CertiKOS, the world’s first operating system that runs on multi-core processors and shields against cyber attacks, a milestone that the scientists say could lead to a new generation of reliable and secure systems software. Read full article in YaleNews here.