How to achieve end-to-end security and privacy?
Prof Annabelle McIver (Macquarie University) introduced the theme for the workshop. The foundation for next generation communications systems is trust, so how do we ensure privacy and security in communications?
Invited speaker Professor Gernot Heiser (UNSW) presented 'Lions OS - a secure operating system for networked devices'. This is a practical, provably-secure microkernel operating system. Dr Chitchanok Chuengsatiansup (Melbourne University) gave an invited talk on 'CryptOpt: Verified compilation with randomised program search for cryptographic primitives', removing a tradeoff between efficiency and portability using combinatorial optimisation.
Invited speaker, Dr Peter Rohde (BTQ and Macquarie University) presented 'Cryptography in the quantum era' in which he described the cryptography landscape. Prof Mingsheng Ying (UTS) gave an invited talk on 'Quantum Hoare logic and its applications', extending formal verification methods to the quantum realm.
Dr Robert Sison (UNSW), Dr Benjamin Zhao (Macquarie University), Associate Professor Alex Potanin (ANU), Professor Iain Collings (Macquarie University), Dr Marcel Keller (Data 61), Dr Hassan Asghar and Argyhya Mukherjee (both Macquarie University), Dr Wei Ni (Data 61) and Dr Conggai Li (Data 61) all gave contributed talks on a range of topics from verification of operating systems to wireless security.
Finally a panel of Professor Heiser, Dr Chuengsatiansup, Dr Rohde, Professor Ying and Professor Dali Kaafar (Macquarie University), with NSW Chief Scientist and Engineer Prof Hugh Durrant-Whyte as moderator, debated the question 'What strategies are needed to build trusted communications for the future?' The stimulating discussion was wide-ranging. Maybe we need a Decadal Plan with the goal of a trusted, secure and private communications system.
Congratulations to Gabriel Nunes (Macquarie University PhD student) for the best poster by popular vote!