Schedule
9:15am – 9:45am
Registration
9:45am – 10:00am
Research Workshop Opening and Welcome
Professor Annabelle McIver
10:00am –10:45am
Invited Speaker: Scientia Professor Gernot Heiser
Talk Title: Lions OS: A Secure Operating System for Networked Devices
10:45 am – 11:15 am
Morning Tea
11:15am – 11:45am
Invited Speaker: Dr. Chitchanok Chuengsatiansup
Talk Title: CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
11:45am – 12:15pm
Invited Speaker: Dr. Peter Rohde
Talk Title: Cryptography in the Quantum Era
12:15pm – 12:30pm
Contributed Talk: Dr. Robert Sison
Title: Extending seL4's Proofs to Support Verifying the Lions OS and Time Protection
12:30pm – 12:45pm
Contributed Talk: Dr. Benjamin Zhao
Title: Cybersecurity Assurance for Teams of Computers and Humans
12:45pm – 1:00pm
Contributed Talk: Associate Professor Alex Potanin
Title: Plans for Centre of Excellence Application on Formal Methods
1:00pm – 2:00pm
Lunch, Networking and Poster Session
2:00pm – 2:45pm
Invited Speaker: Distinguished Professor Mingsheng Ying
Talk Title: Quantum Hoare Logic and Its Applications
2:45pm – 3:00pm
Contributed Talk: Professor Iain Collings
Title: UAV Covert Wireless Communications
3:00pm – 3:15pm
Contributed Talk: Dr. Marcel Keller
Title: MP-SPDZ: A Versatile Framework for Multi-Party Computation
3:15pm – 3:30pm
Contributed Talk: Dr. Hassan Asghar
Title: Quantum Anonymous Communication Project
3:30pm – 4:00pm
Afternoon Tea
4:00pm – 4:15pm
Contributed Talk: Dr. Wei Ni
Title: OFDMA-F^2L: Federated Learning With Flexible Aggregation Over an OFDMA Air Interface
4:15pm – 4:30pm
Contributed Talk: Dr. Conggai Li
Title: Decentralized Privacy Protection of Critical Connections in Graph Data Transmissions
4:30pm
Presentation for Best Poster
4:30pm – 5:15pm
Panel Session: What Strategies are Needed to Build Trusted Communications for the Future?
Chair: Professor Hugh Durrant-Whyte
Panelists: Professor Gernot Heiser, Dr. Chitchanok Chuengsatiansup, Dr. Peter Rhode, Professor Mingsheng Ying and Professor Dali Kafaar
5:15pm – 6:15pm
Reception with canapes and drinks