TS News

News

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.

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.

Show older articles