SecurityBrief Australia - Technology news for CISOs & cybersecurity decision-makers

John Launchbury stories

John Launchbury is an eminent author with a keen interest in technological advancements and cybersecurity. His contributions regularly highlight significant progress in crucial areas of systems security and the development of cutting-edge technologies.

In his latest piece, John discusses the establishment of the seL4 Foundation by Australia's Data61. The foundation is dedicated to advancing the seL4 microkernel, a pivotal technology in the domain of critical systems security, and furthering related innovations.