“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, a milestone that the scientists say 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 verification to ensure that a program performs precisely as its designers intended a safeguard that could prevent the hacking of anything from home appliances and Internet of Things (IoT) devices to self-driving cars and digital currency. Their paper on CertiKOS was presented at the 12th USENIX Symposium on Operating Systems Design and Implementation held Nov. 2-4 in Savannah, Ga.”
Related Content
Related Posts:
- ‘Strange metal’ sends quantum researchers in circles
- With Trapped Waves, Researchers Resolve a Longstanding Debate
- Doubling a qubit’s life, researchers prove a key theory of quantum physics
- Purifying water with just a few atoms
- A better photon detector to advance quantum technology
- With morphing limbs, a robot that travels by land and water
- Learning some new steps in the energy conversion dance
- Knots in the resonator: elegant math in humble physics
- A new step in the search for room-temperature superconductors
- Less wattage, more brain power