<div dir="ltr"><div><p style="font-family:'PT Serif';margin:0px 0px 12px;padding:0px;border:0px;font-size:15px;vertical-align:baseline;color:rgb(51,51,51);line-height:1.4">"The kernel is the central core of any computer’s operating system. If hackers gain access to it, they can perform actions that are meant to be forbidden – like turning a mobile phone into a signal jammer, for example. Last year, Heiser’s team <a href="http://sel4.systems/Info/FAQ/proof.pml" style="margin:0px;padding:0px;border:0px;vertical-align:baseline;text-decoration:none;color:rgb(23,156,206)">proved mathematically</a> that their kernel is unhackable.</p><p style="font-family:'PT Serif';margin:0px 0px 12px;padding:0px;border:0px;font-size:15px;vertical-align:baseline;color:rgb(51,51,51);line-height:1.4">Known as seL4, the kernel has a few <a href="https://www.newscientist.com/article/mg20327236-400" style="margin:0px;padding:0px;border:0px;vertical-align:baseline;text-decoration:none;color:rgb(23,156,206)">highly secure properties</a>: it can only do what it is designed to do; its code can’t be changed without permission; and its memory and data transfers can’t be read without permission. An earlier version of it, called OKL4, is now in millions of smartphones."</p></div><b><div><b><br></b></div><div><br></div><a href="https://www.newscientist.com/article/mg22730392-600-unhackable-kernel-could-keep-all-computers-safe-from-cyberattack-2/">https://www.newscientist.com/article/mg22730392-600-unhackable-kernel-could-keep-all-computers-safe-from-cyberattack-2/</a></b><br><div><b><br></b></div><div><b><br></b></div><div><b>John</b></div></div>