TS News

News

TS Member Zilin Chen wins SIGPLAN award for his paper
2022-12-12 – Congratulations to Zilin Chen for winning the Distinguished Artifact Award at the 2022 ACM SIGPLAN International Conference on Software Language Engineering. Chen and co-authors, including TS’s Gernot Heiser’s and TS affiliate Gerwin Klein, won the award for their artifact connected to the paper Property-Based Testing: Climbing the Stairway to Verification. The conference was on December 6-7 2022 in Auckland, New Zealand. You can find the paper on our Publications page.

TS Member Zilin Chen wins SIGPLAN award for his paper

Distinguished Artifact Award for Zilin Chen and co-authors

2022-12-12 – Congratulations to Zilin Chen for winning the Distinguished Artifact Award at the 2022 ACM SIGPLAN International Conference on Software Language Engineering. Chen and co-authors, including TS’s Gernot Heiser’s and TS affiliate Gerwin Klein, won the award for their artifact connected to the paper Property-Based Testing: Climbing the Stairway to Verification. The conference was on December 6-7 2022 in Auckland, New Zealand. You can find the paper on our Publications page.

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.

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.

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.

Show older articles