[ExI] Could an unhackable kernal keep all computers safe from cyberattack?

John Grigg possiblepaths2050 at gmail.com
Wed Sep 23 09:19:44 UTC 2015

"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 proved mathematically
<http://sel4.systems/Info/FAQ/proof.pml> that their kernel is unhackable.

Known as seL4, the kernel has a few highly secure properties
<https://www.newscientist.com/article/mg20327236-400>: 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."


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20150923/3e634484/attachment.html>

More information about the extropy-chat mailing list