Displaying items by tag: seL4 operating system

Data61, the digital arm of Australia’s national science agency, CSIRO, has announced the creation of the seL4 Foundation, a not-for-profit organisation aimed at accelerating the development of the seL4 microkernel and related technologies.

Published in Development

Data61, the CSIRO’s innovation network, 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.

Published in Security

WEBINARS ONLINE & DEMAND

GUEST ARTICLES

VENDOR NEWS

Guest Opinion

Guest Interviews

Guest Reviews

ResearchWire

Guest Research & Case Studies

Channel News

Comments