New Scientist Interviews Fisher about HACMS

Professor Kathleen Fisher was interviewed by New Scientist as part of an article on DARPA's High-Assurance Cyber Military Systems (HACMS) program and its unhackable "kernel."

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, an Australian team proved mathematically that the HACMS kernel is unhackable.

Known as seL4, the kernel has a few highly secure properties: 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.

Read more in the New Scientist article.