CertiKOS: a breakthrough towards 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 cyberattacks, a step that scientists say could lead to a new generation of reliable systems…