Cyber attacks are on the rise but there’s one code no hackers have been able to crack.


An autonomous helicopter gunship is flying over a military base in Arizona. Suddenly, officers on the ground lose radio contact and learn that hackers have taken control of its on-board computer, and then comes the big question – could they fly the helicopter? Fire the weapons? Crash it into the ground?

This scenario has already happened – well, almost – when the US Defense Advanced Research Projects Agency (DARPA) used this scenario in a drill to test the cybersecurity of an unmanned Boeing Little Bird helicopter.


Researchers successfully weaponise AI to create a "Biometric master key"


Despite the hackers being given unfettered access to the computer, and then trying their hardest to disable the helicopter – even crashing the computer – they could not disrupt critical systems. For DARPA, which is aiming to develop an “unhackable” drone by 2018 as part of its High Assurance Cyber Military Systems (HACMS) programme, the drill was a success. This isn’t just about the military, though. The software that kept the helicopter’s computer secure was at the heart of its operating system, and it could be just what the world needs to make everything from pacemakers to insulin pumps and power stations to cars immune to hacking.


DARPA’s Explainer Video


“My hope is that in 10 years’ time, anything that is security critical is running on our system or some other one built on the principles we’ve established,” says Gernot Heiser from the newly formed Australian National Research Agency, Data61. One of the Australian agencies predecessors developed the crucial component of the “unhackable” operating system – its kernel.

The kernel is the central core of any computer’s operating system. If hackers gain access to it then 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 that their 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. Heiser says that two features underpin seL4’s security, one of which is a new way of isolating data inside the kernel. But the key development was making the code capable of being checked mathematically. Other kernels might have these properties too, but it is impossible to know for sure without mathematical proof, says Heiser. In July, two hackers pulled a prank by remotely accessing the computer of a Chrysler Jeep, making it stop suddenly on a highway and then crash into a ditch. As a result, Chrysler was forced to recall over 1.4 million vehicles.

Could seL4 prevent such episodes in the future? Heiser says you can’t stop hackers getting access to things like a car’s entertainment system, if it communicates using Wi-Fi and hackers often use a non-critical system as a springboard themselves into critical areas like steering – as happened with the Jeep prank. But the seL4 kernel can keep systems separate, Heiser says.


New computer chip transmits all the world's internet traffic in under a second


“There are now efforts afoot to roll this out to cars to protect them. Car hackers may access the entertainment system and use it as a springboard to a critical area like steering.”

That’s what the helicopter drill demonstrated. On the assumption that not every system can be made secure, the organisers made one computer run two operating systems simultaneously, one of which included the seL4 kernel. They then gave hackers full access to the other system.

“In the past they had no problem owning that thing. But we can now stop them from breaking in,” says Heiser.

The same principles will apply in preventing hackers from gaining access to critical systems in power grids or medical devices, says Kathleen Fisher at Tufts University in Medford, who is also the HACMS programme manager. It is a big deal for cybersecurity, says Iman Shames from the University of Melbourne in Australia. But he says there are always ways to attack hardware, even if the software is impregnable. Hackers might be able to spoof a device’s sensors or jam incoming communications or other signals, which could be just as devastating so where one solution appears another problem springs up in its place.

And so the battle for hack proof systems – if there will ever be truly such a thing, continues but what isn’t in question is the important step that’s been taken by developing seL4.

About author

Matthew Griffin

Matthew Griffin, described as “The Adviser behind the Advisers” and a “Young Kurzweil,” is the founder and CEO of the World Futures Forum and the 311 Institute, a global Futures and Deep Futures consultancy working between the dates of 2020 to 2070, and is an award winning futurist, and author of “Codex of the Future” series. Regularly featured in the global media, including AP, BBC, Bloomberg, CNBC, Discovery, RT, Viacom, and WIRED, Matthew’s ability to identify, track, and explain the impacts of hundreds of revolutionary emerging technologies on global culture, industry and society, is unparalleled. Recognised for the past six years as one of the world’s foremost futurists, innovation and strategy experts Matthew is an international speaker who helps governments, investors, multi-nationals and regulators around the world envision, build and lead an inclusive, sustainable future. A rare talent Matthew’s recent work includes mentoring Lunar XPrize teams, re-envisioning global education and training with the G20, and helping the world’s largest organisations envision and ideate the future of their products and services, industries, and countries. Matthew's clients include three Prime Ministers and several governments, including the G7, Accenture, Aon, Bain & Co, BCG, Credit Suisse, Dell EMC, Dentons, Deloitte, E&Y, GEMS, Huawei, JPMorgan Chase, KPMG, Lego, McKinsey, PWC, Qualcomm, SAP, Samsung, Sopra Steria, T-Mobile, and many more.


Your email address will not be published. Required fields are marked *