We research techniques for the design, implementation and verification of secure and performant real-world computer systems.
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.
Breakthroughs that combine our expertise in operating systems, formal methods and programming languages.
We apply our unique research and engineering experience to solve problems in the real world.
2022-09-20 – The first Summit organised by the seL4 Foundation will take place 10–13 October in Munich, Germany. TS will have a prominent role, with a total of 5 contributions: TS Leader Gernot Heiser will deliver a keynote on the state of seL4-related research. Zoltan Kocsis will present t...
2022-08-18 – TS group leader Gernot Heiser has been elected a Fellow of the Royal Society of New South Wales , the oldest learned society of the Southern hemisphere.
2022-06-22 – The British government backs UNSW Sydney researchers to advance their world-leading cyber security technology, which protects critical computer systems from cyber attacks. The United Kingdom's National Cyber Security Centre (NCSC) will fund UNSW Engineering’s Tru...
