1
CertiKOS: A breakthrough toward hacker-resistant operating systems
A team of Yale researchers has unveiled CertiKOS, the world’s first operating system that runs on multi-core processors and shields against cyber attacks.
Yale University news from the Office of Public Affairs & Communications.
Visit news.yale.edu → On Hacker News Oct 2012 – Jul 2026
Science & Space 20Society, Policy & Culture 3History & Retro Computing 2Systems & Performance 1Security & Privacy 1
A team of Yale researchers has unveiled CertiKOS, the world’s first operating system that runs on multi-core processors and shields against cyber attacks.