Browsing posts tagged: unveil
Yale computer scientists unveil new OS

The world is now one step closer to the large-scale development of hacker-resistant operating systems, thanks to the efforts of a team from the Yale Computer Science Department. Led by computer science professor Zhong Shao, the Yale researchers have built CertiKOS, an operating system that comes with its own proof. This means that the operating […]