​Data61, Defence partner for seL4 microkernel-based network access tool

The Cross-Domain Desktop Compositor is expected to enable Defence and public sector employees to access multiple networks through a single interface without compromising security or function.