Australian-developed secure microkernel takes to the skies :

UAE's SSRC works with UNSW to put seL4 on drones and phones.

Related Keywords

Abu Dhabi , Gernot Heiser , John Lions , Systems Research Center , Technology Innovation Institute , Secure Systems Research Center , John Lions Chair , Scientia Professor Gernot , Technology Innovation , Data61 , Microkernel , Security , Sel4 ,