Welcome to Trustworthy Systems!
We are the Trustworthy Systems group. We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.
We are fundamentally changing how software systems are engineered in the real world. Our techniques provide the highest possible degree of assurance—the certainty of mathematical proof—while being cost-competitive with traditional low- to medium-assurance systems. Our vision statement is:
We have made verified software a reality.
Weâre now working on creating a societal shift towards main adoption.
Our main activities
Breakthroughs that combine our expertise in operating systems, formal methods and programming languages.
seL4 in spaaace!
The UNSW QB50 satellite UNSW-EC0 has just burned up in the earth s atmosphere after 18 months in space. The satellite carried an seL4-based payload that operated successfully under space conditions.
Tony Hosking wins ARC DP grant on Verified concurrent memory management on modern processors".
2018-12-03 Tony Hosking wins ARC DP grant on Verified concurrent memory management on modern processors", which relates to the MicroVM project and CakeML project. Congratulations!
Professor Gernot Heiser, Dr Toby Murray, and Professor Gerwin Klein have won an ARC discovery grant for their work o...
2018-11-18 Professor Gernot Heiser, Dr Toby Murray, and Professor Gerwin Klein have won an ARC discovery grant for their work on provable time protection. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will ...