{"id":31932,"date":"2016-11-14T22:32:51","date_gmt":"2016-11-15T06:32:51","guid":{"rendered":"http:\/\/lifeboat.com\/blog\/2016\/11\/certikos-a-step-toward-hacker-resistant-operating-systems"},"modified":"2017-06-04T14:02:55","modified_gmt":"2017-06-04T21:02:55","slug":"certikos-a-step-toward-hacker-resistant-operating-systems","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2016\/11\/certikos-a-step-toward-hacker-resistant-operating-systems","title":{"rendered":"CertiKOS: A Step Toward Hacker-Resistant Operating Systems"},"content":{"rendered":"<p><a class=\"aligncenter blog-photo\" href=\"https:\/\/lifeboat.com\/blog.images\/certikos-a-step-toward-hacker-resistant-operating-systems.jpg\"><\/a><\/p>\n<p>Researchers from Yale University have unveiled CertiKOS, the world\u2019s first operating system that runs on multi-core processors and shields against cyber-attacks. Scientists believe this could lead to a new generation of reliable and secure systems software.<\/p>\n<p>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 \u2014 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\u20134 in Savannah, Ga.<\/p>\n<p>Computer scientists have long believed that computers\u2019 operating systems should have at their core a small, trustworthy kernel that facilitates communication between the systems\u2019 software and hardware. But operating systems are complicated, and all it takes is a single weak link in the code \u2014 one that is virtually impossible to detect via traditional testing \u2014 to leave a system vulnerable to hackers.<\/p>\n<p><!-- Link: <a href=\"http:\/\/scitechdaily.com\/certikos-a-step-toward-hacker-resistant-operating-systems\/\">http:\/\/scitechdaily.com\/certikos-a-step-toward-hacker-resist...g-systems\/<\/a> --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Researchers from Yale University have unveiled CertiKOS, the world\u2019s first operating system that runs on multi-core processors and shields against cyber-attacks. Scientists believe this 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 [\u2026]<\/p>\n","protected":false},"author":395,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[34,418,6],"tags":[],"class_list":["post-31932","post","type-post","status-publish","format-standard","hentry","category-cybercrime-malcode","category-internet","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/31932","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/395"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=31932"}],"version-history":[{"count":3,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/31932\/revisions"}],"predecessor-version":[{"id":65759,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/31932\/revisions\/65759"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=31932"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=31932"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=31932"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}