Data61's Trustworthy Systems announces global partnership with Hensoldt Cyber
2017-06-06 Data61's Trustworthy Systems has announced a global partnership with German cyber security company Hensoldt Cyber to collaborate on the development of a trustworthy hardware-software stack designed to protect against devastating cyber-attacks on defence systems, smart factories, autonomous vehicles and critical infrastructure.

Successful final DARPA HACMS demo

2017-04-03 The DARPA HACMS program had a successful final demo day near Washington, to a few hundred industry and government folks. Our seL4 microkernel was at the core of everything demoed, including a a Boeing optionally-piloted helicopter, an autonomous US Army truck and a smart helmet for Army soldiers that Rockwell Collins developed and is trying to sell to the ADF. There were life hacking demos on research vehicles, and videos from life hacking demos of the military vehicles (including an in-flight attack on the helicopter).

seL4 in spaaaace!
2017-03-28 A rocket carrying the UNSW QB50 Qubesat was successfully launched to the International Space Station. The satellite, which carries an seL4-based experiment, will be launched onto orbit in May

Gernot Heiser to give a keynote at Embedded Systems week
2017-03-24 Gernot Heiser to give a keynote at Embedded Systems week

Gernot Heiser will teach on operating systems for secure and safe embedded systems at the HiPEAC International Summer School
2017-02-21 Gernot Heiser will teach on operating systems for secure and safe embedded systems at the HiPEAC International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES '17)