seL4 and Avionics Security Discussed in IEEE Aerospace and Electronic Systems Magazine

Posted on December 3, 2019
Aircraft safety is important, particularly to those in flight. One way product developers in the aviation industry are bringing extreme security to their systems with with the seL4 microkernel. This platform provides the formal proof of security for mixed criticality functions running concurrently on a single piece of hardware. The strength of the seL4 microkernel ... READ MORE