https://trustworthy.systems/
The Trustworthy Systems research group in Australia
Trustworthy Systems
Cogent Project
au-ts
An experimental virtual machine monitor for the seL4 microkernel
A secure, fast, and adaptable OS based on the seL4 microkernel
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
