Die Hensoldt Cyber GmbH und CSIROs Data61 haben eine internationale Partnerschaft zur Entwicklung eines vertrauenswürdigen Hardware-Software-Stacks angekündigt, der vor Cyberangriffen auf Verteidigungssysteme, Fabriken, autonome Fahrzeuge und kritische Infrastrukturen schützen soll. Wie Hensoldt weiter mitteilte, soll sichere Prozessorhardware auf Basis der offenen RISC-V-Architektur mit der gesicherten Produktion und den mathematischen Sicherheitsgarantien des seL4-Betriebssystems kombiniert werden.
Die Gruppe Trustworthy Systems von Data61, die ursprünglichen Entwickler von seL4, werde dieses an die effiziente Ausführung auf Hensoldt Cyber-Prozessoren anpassen und die bestehenden Korrektheitsnachweise von seL4 für diese Hardware erweitern.
Hensoldt Cyber wurde vor gut einem Jahr in München als Joint Venture der deutschen Unternehmen Hensoldt und Secure Elements gegründet und entwickelt sichere IT-Lösungen für cyberphysikalische Systeme in Industrie und Verteidigung.
lah/12/22.9.2018