TS News

News

Google award supports TS research
2022-12-05 – Google has awarded funds to the University of New South Wales to fund Gernot Heiser’s and Kevin Elphinstone’s work. The funds will go to their work on a Secure General-Purpose Operating System, which is a core part of the work done by the Trustworthy Systems group. This gift, Google says, is part of their “growing efforts to support excellent research in academia.” This gift expands the influence and reach of the work done by Trustworthy Systems and UNSW.

2022-12-05 – Google has awarded funds to the University of New South Wales to fund Gernot Heiser’s and Kevin Elphinstone’s work. The funds will go to their work on a Secure General-Purpose Operating System, which is a core part of the work done by the Trustworthy Systems group. This gift, Google says, is part of their “growing efforts to support excellent research in academia.” This gift expands the influence and reach of the work done by Trustworthy Systems and UNSW.

TS Member Zilin Chen has paper accepted by POPL 2023
2022-11-17 – Congratulations to Zilin Chen and co-authors, including fellow TS member Craig McLaughlin, for having their paper accepted at POPL, the prestigious annual symposium on Principles of Programming Languages, in Boston USA in 2023. This paper forms part of Zilin Chen’s recently submitted doctoral thesis on the Cogent project. The paper is: Dargent: A Silver Bullet for Verified Data Layout Refinement By Zilin Chen, Ambroise Lafont, Liam O’Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson and Christine Rizkallah Information on the project, and the paper, is available here.

TS Member Zilin Chen has paper accepted by POPL 2023

2022-11-17 – Congratulations to Zilin Chen and co-authors, including fellow TS member Craig McLaughlin, for having their paper accepted at POPL, the prestigious annual symposium on Principles of Programming Languages, in Boston USA in 2023. This paper forms part of Zilin Chen’s recently submitted doctoral thesis on the Cogent project.

The paper is:

Dargent: A Silver Bullet for Verified Data Layout Refinement

By Zilin Chen, Ambroise Lafont, Liam O’Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson and Christine Rizkallah

Information on the project, and the paper, is available here.

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.

Show older articles