2023-03-15 – Robert Sison, a TS member and post-doctoral fellow from the University of Melbourne, works with TS team member Scott Buckley on Time Protection. He recently presented their work at the 25th International Symposium on Formal Methods at the University of Lübeck. Robert presented the collaborative work of the University of Melbourne, Trustworthy Systems, and Proofcraft in a paper titled “Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems”. This paper was co-authored by Gernot Heiser, Scott Buckley, Gerwin Klein, and Toby Murray.

2023-02-24 – We would like to welcome our newest members of the Trustworthy Systems team! They are (from left to right):

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.

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.”

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.