Monday, 28 July 2014

DARPA-derived secure microkernel goes open source tomorrow

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.


Read more


read more






from Tux Machines http://ift.tt/1zlcZx1

via IFTTT
Post a Comment