Bug-Free MicroKernel for Protecting Drones Goes Open Source
The alleged mathematically proven bug-free microkernel for drone protection is going open source, according to The Register.
This piece of code, developed by the National ICT Australia (NICTA), was used to stop hackers from compromising unmanned drones. Development was also part of the High-Assurance Cyber Military Systems program patronized by the US Defense Advanced Research Projects Agency (DARPA).
“If your software runs the seL4 kernel, you have a guarantee that if a fault happens in one part of the system it cannot propagate to the rest of the system and in particular the critical parts,” said NICTA senior researcher June Andronick.
“What we are demonstrating here is that if one of the ground stations is malicious, and sends a command to the drone to stop the flight software, the commercially available drone will accept the command, kill the software and just drop from the sky.”
The L4 microkernel is said to be very performant due to its use of formal method and will be more stable as it runs as much as code as possible in the user space. It will be released as open source under the GPL v2 license.
“The world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is going open source,” the announcement concluded.
Watch Out for These Ongoing Bank of America Phishing Campaigns Targeting Customers in the US
July 16, 2021
How to protect yourself against cyberstalking
July 06, 2021
The Top Five Security Risks Smartphone Users Face Today
July 02, 2021
Phishing Alert: Scammers Use Fake SharePoint and DocuSign Messages to Steal Users’ Login Credentials
July 02, 2021
Your Doxxing Dossier Will Keep Growing Thicker Until You See the Danger
June 30, 2021
Mobile security threats: reality or myth?
June 13, 2021
FOLLOW US ON
You might also like
July 23, 2021
July 22, 2021
July 20, 2021