The collaboration comes at a time where threats are on the rise, according to Data61 and Hensoldt, who say the partnership will secure cyber-physical systems through seL4, the world’s most trustworthy operating system, "mathematically proven free of implementation defects".
“Our uncompromising approach to cyber security combines secure processor hardware based on the open RISC-V architecture, secured production, and the mathematical security guarantees of the seL4 operating system,” said Marian Rachow, managing director of Hensoldt Cyber.
Under the partnership, Data61’s Trustworthy Systems group, the original developers of seL4, will adapt it to run efficiently on Hensoldt Cyber processors, and will extend seL4’s existing correctness proofs to apply to that hardware.
“We are excited to work withHensoldt Cyber, putting seL4 at the core of a security-focussed integrated hardware-software stack to secure critical infrastructure.”
Munich-basedHensoldt Cyber, founded just over a year ago as a joint venture of German companies Hensoldt and Secure Elements, develops advanced secure IT solutions for cyber-physical systems deployed in industry and defence.
“Collaborating with leading researchers to produce the best technology is core to our approach, and Data61 are world leaders in secure operating systems,” said Rachow.
Hensoldt says securing Industry 4.0 is an early goal of the company, which is currently evaluating prototype solutions for smart production lines.
“Our first secure processor chips, capable of running seL4, will be produced in the first half of 2019,” said Simon Metzner, chief operations officer of Hensoldt Cyber. “The level of interest we see for this technology indicates a great market opportunity for our products.”
Heiser is also chief scientist software at Hensoldt Cyber, Scientia Professor and John Lions Chair at the University of New South Wales.