DARPA-derived secure microkernel goes open source ...

Webroot's picture
Printer-friendly versionPrinter-friendly version
  • Float this Topic to the Top

DARPA-derived secure microkernel goes open source tomorrow

Commnet: A drone protecting code is being released to the public

-------------------------------------------------------------------------------------------------------------------------------------------------------------------------

 

 

 

 

A nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.

The formal-methods-based secure embedded L4 (seL4) microkernel was developed by Australian boffins at National ICT Australia (NICTA) and was part of the US Defense Advanced Research Projects Agency's High-Assurance Cyber Military Systems program hatched in 2012 to stop hackers knocking unmanned birds out of the sky.

Copy this html code to your website/blog to embed this press release.

Comments

Post new comment

2 + 4 =

To prevent automated spam submissions leave this field empty.
Page execution time was 1965.87 ms.

Memory usage:

Memory used at: devel_init()=2.13 MB, devel_shutdown()=22.51 MB.