News
| seL4 at the Southern Summer School on Systems and Software Security at the University of Adelaide |
|---|
2023-01-27 – Trustworthy Systems Group participated in the Southern Summer School on Systems and Software Security. It was run at the University of Adelaide by Yuval Yarom (University of Adelaide) and Chitchanok Chuengsatiansup (University of Melbourne) from January 23 to 25 2023. Talks and workshops were given by Ivan Velickovic, Scott Buckley, Johannes Åman Pohjola, Robert Sison, and Gernot Heiser on seL4 and its importance to cybersecurity. |
| UNSW celebrates seL4 summit in Munich |
|---|
|
2022-12-12 – UNSW Sydney has celebrated the seL4 summit in a recent news item. The summit, held in Munich on October 10 -13 2022, was the first held outside the USA and by the seL4 Foundation. The report notes that, “A number of independent observers, including from funding agencies, noted that the Summit demonstrated how active and dynamic the seL4 ecosystem is, indicating that seL4 has a bright future.” |
| 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. |
| 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. |