Welcome to Trustworthy Systems!
We are the Trustworthy Systems Group
We research techniques for the design, implementation and verification of secure and performant real-world computer systems.
- We aim to change the world by making software truly trustworthy.
- Having made verified software a reality, our goal is to create a societal shift towards mainstream adoption.
We achieve impact by 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 research brings together a unique combination of expertise in operating systems, formal methods and programming languages. Our seL4 microkernel is the most thoroughly verified operating system kernel in the world.
Our work goes beyond research. We show how to build robust, high-performance software stacks for the software development community, and also engage with other organisations to apply our technology to real problems.
Our main activities
Research
Breakthroughs that combine our expertise in operating systems, formal methods and programming languages.
Engagement
We apply our unique research and engineering experience to solve problems in the real world.
Additional resources
Latest news
Gernot Heiser gives keynote at ASPLOS+EuroSys
2025-04-01 – Gernot Heiser gave a joint keynote on 1 April at the co-located top-tier ASPLOS + EuroSys conferences in Rotterdam, Netherlands. The talk was titled "Will we ever have truly secure operating systems?” Gernot Heiser from UNSW Sydney delivered another compelling keynote t...
New series of releases for systems projects
2025-03-25 – The systems team has made a series of releases for our major systems projects. LionsOS 0.3.0 , adding more file system support and new developer tooling. seL4 Device Driver Framework 0.6.0 , adding a 2D graphics device class and our first native SD card driver. Microkit 2.0.0 ,...
PISTIs-V Project Launched
2025-01-20 – German Cyberagentur today launched their ÖvIT (Ecosystem for trustworthy IT) program. One of the five projects funded under ÖvIT is PISTIs-V , for which TS partners with German SME PlanV and the University of Gothenburg. PISTIs-V builds on LionsOS , the highly modular, seL4-based OS which TS is ...