News: Is an Unhackable Kernel Really Possible?

Is an Unhackable Kernel Really Possible?

In an effort to prevent drones from being hacked, DARPA has been developing an "unhackable system," and seems to think they're almost there. The development team "proved" mathematically that their kernel was unhackable, and they hope to use it for more than just drones (power grids, cars, phones, pacemakers, etc.).

"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."

Full story can be read on New Scientist.

But nothing is really unhackable, is it?

Just updated your iPhone? You'll find new features for Podcasts, News, Books, and TV, as well as important security improvements and fresh wallpapers. Find out what's new and changed on your iPhone with the iOS 17.5 update.


No. Nothing is unhackable , given enough time, talent and resources.

Yeah i second OTW, Who knew XP would be the most vulnerable OS on planet earth and maybe in the future Mars, And that every beginner uses XP as a playground or stepping stone. Its just time and what the future holds for us. Nothing is unhackable except it wasn't written by a human being.

This reminded me of a researcher who was able to hack the old H cards for satellite providers. They were able to chemically remove the epoxy and expose the wafer along with all its guts. From there they put a micro needle on the bus and sniffed data as it passed. Talk a about a replay attack.

Yeah, nothing is unhackable but it may require tons of $$$ and very expensive equipment. So become a scientist and work in a lab :) As tech moves forward it gets much harder but not impossible.

Let me relate this stuff to science- In science nothing such as ideal exists even though the term is used. Same goes for hacks, even though the word "unhackable" exists, but in reality nothing as unhackable exists.

As most of you said, it might be considered unhackable for today common dense. Technology develops with humans, for security to be effective it must be on the bleeding edge. Even if in future there will be a way to hack it (for an acrual reason I mean, useless devices are not worth being hacked), this may help improve security in ever day life like many researches going on recently, especially looking at IoT.

The idea that it could be mathematically 'proved' to be unhackable seems dubious.

'Unhackable' in the sense of hackers will try other things instead because the kernel is so secure, sure, but never truly unhackable.

Share Your Thoughts

  • Hot
  • Latest