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.