TS News

News

TS represented at UNSW Computing Research Expo
2022-10-25 – Trustworthy Systems had a strong presence at the UNSW Computing Research Expo on October 25th 2022. Designed to showcase the research projects of the School of Computer Science and Engineering, TS was represented by Gernot Heiser, Zoltan Kocsis and Peter Chubb. Gernot Heiser gave a speech on secure and trustworthy systems Gernot Heiser was part of a combined industry-academic panel speaking about impact through research and partnerships Zoltan and Peter manned our ‘Hack this Drone!’ challenge to showcase seL4’s security. As expected, no one was able to hack the drone. The drone challenge is the same challenge run by DARPA at DEFCON ‘21, where, also, no one was able to hack the drone

TS represented at UNSW Computing Research Expo

2022-10-25 – Trustworthy Systems had a strong presence at the UNSW Computing Research Expo on October 25th 2022. Designed to showcase the research projects of the School of Computer Science and Engineering, TS was represented by Gernot Heiser, Zoltan Kocsis and Peter Chubb. Gernot speaking at the UNSW CSE Expo in October 2022

Gernot speaking at the UNSW CSE Expo in October 2022

Gernot Heiser gave a speech on secure and trustworthy systems
Gernot Heiser was part of a combined industry-academic panel speaking about impact through research and partnerships
Zoltan and Peter manned our ‘Hack this Drone!’ challenge to showcase seL4’s security. As expected, no one was able to hack the drone. The drone challenge is the same challenge run by DARPA at DEFCON ‘21, where, also, no one was able to hack the drone

First release of the new driver framework
2022-10-07 – TS is pleased to announce a pre-release of the seL4 Device Driver Framework (sDDF) for community feedback. We provide an initial design document, code and an official seL4 community request for comment (RFC), for details see the sDDF projects page. TS student Lucy Parker will introduce the framework and an initial performance evaluation at the seL4 Summit. We thank our sponsors, the seL4 Foundation and the Technology Innovation Institute for their generous support for this work, and are looking forward to the community engaging with it.

First release of the new driver framework

2022-10-07 – TS is pleased to announce a pre-release of the seL4 Device Driver Framework (sDDF) for community feedback. We provide an initial design document, code and an official seL4 community request for comment (RFC), for details see the sDDF projects page. TS student Lucy Parker will introduce the framework and an initial performance evaluation at the seL4 Summit.

We thank our sponsors, the seL4 Foundation and the Technology Innovation Institute for their generous support for this work, and are looking forward to the community engaging with it.

TS will have a strong presence at a seL4 Summit
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 the new seL4 Core Platform (seL4CP), and on-going work on its verification and extension of its functionality Lucy Parker will present the design and performance of the new seL4 Device Driver Framework (sDDF) Gernot will also provide an overview of seL4’s principles, abstractions and use patterns The on-site only bootcamp on the final day will have a session on the seL4CP, led by Ivan Velickovic Scott Buckley and Craig McLaughlin will complete the on-site TS delegation, with more TS folks participating remotely. For details check the Summit Program.

TS will have a strong presence at a seL4 Summit

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 the new seL4 Core Platform (seL4CP), and on-going work on its verification and extension of its functionality
Lucy Parker will present the design and performance of the new seL4 Device Driver Framework (sDDF)
Gernot will also provide an overview of seL4’s principles, abstractions and use patterns
The on-site only bootcamp on the final day will have a session on the seL4CP, led by Ivan Velickovic

Scott Buckley and Craig McLaughlin will complete the on-site TS delegation, with more TS folks participating remotely.

For details check the Summit Program.

Gernot elected Fellow of the Royal Society of NSW
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.

UK's National Cybersecurity Centre supports Trustworthy Systems research
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 Trustworthy Systems research group to boost development of its seL4 microkernel technology – the world's most advanced cybersecurity technology. Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, said the NCSC has been evaluating seL4 for some time now, and are working with their defence industry partners to deploy it in real-world computer systems. Full UNSW media release. NCSC-supported projects include: Verification of the seL4 Core Platform Development of a provably secure general-purpose operating system as well as various improvements to the seL4 microkernel. Some of the support goes to our partner Proofcraft for work on verifying seL4 on the 64-vit Arm architecture (AArch64) and for multicore processors.

UK's National Cybersecurity Centre supports Trustworthy Systems research

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 Trustworthy Systems research group to boost development of its seL4 microkernel technology – the world's most advanced cybersecurity technology.

Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, said the NCSC has been evaluating seL4 for some time now, and are working with their defence industry partners to deploy it in real-world computer systems.
Full UNSW media release.

NCSC-supported projects include:

Verification of the seL4 Core Platform
Development of a provably secure general-purpose operating system
as well as various improvements to the seL4 microkernel.

Some of the support goes to our partner Proofcraft for work on verifying seL4 on the 64-vit Arm architecture (AArch64) and for multicore processors.

Show older articles