2023-03-22 – Trustworthy Systems team members Peter Chubb, Lucy Parker, Christopher Irving, and Ivan Velickovic presented their work on sel4 at the recent Everything Open conference in Melbourne.

• Lucy and Ivan spoke about sel4 core platform
• Christopher spoke about Ceph and NFS
• Peter spoke about Creating a poetry book

You can find recordings of the talks for Lucy and Ivan, for Christopher, and for Peter, on the Everything Open YouTube channel.

2023-03-17 – Trustworthy Systems student Zilin Chen has just had his PhD thesis approved. We extend to him heartfelt and deserved congratulations.

His thesis is Towards A Practical High-Assurance Systems Programming Language. It was supervised by Professor Gabriele Keller, Dr. Christine Rizkallah, and TS’s Professor Gernot Heiser.

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.