The seL4 Foundation welcomed the Australian National University as an Associate Member. ANU’s School of Computing contributed to seL4’s original formal verification effort and to DARPA’s HACMS program, and its current work develops programming languages for the seL4 Microkit, strengthening collaboration with other Australian members on secure systems built on the verified microkernel.
The Australian National University joins the seL4 Foundation
The seL4 Foundation welcomed the Australian National University as an Associate Member. ANU's School of Computing contributed to seL4's original formal verification effort and to DARPA's HACMS program, and its current work develops programming languages for the seL4 Microkit, strengthening collaboration with other Australian members on secure systems built on the verified microkernel.
Source: Sel4