Speakers

Gernot Heiser is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney, where he leads the Trustworthy Systems research group. His research interest are in operating systems, real-time systems, security and safety. His research vision is to completely change the cybersecurity game from playing catch-up with attackers to systems that are provably secure and safe. With his team he pioneered the large-scale formal verification of systems code, specifically the design, implementation and formal verification of the seL4 microkernel; seL4 is now being used in real-world security- and safety-critical systems.

Heiser's former company Open Kernel Labs, acquired by General Dynamics in 2012, marketed the OKL4 microkernel, which shipped on billions of mobile wireless chips and is deployed on the secure enclave of all iOS devices. He presently serves as Chief Scientist of Neutrality, and Chairman of the seL4 Foundation. Gernot is a Fellow of the ACM, the IEEE, Engineers Australia, the Australian Academy of Technology and Engineering (ATSE) and the Royal Society of New South Wales (RSN) and a Member of the German Academy of Sciences Leopoldina. He is also an ACM Distinguished Lecturer and an IEEE Distinguished Visitor.

Talk title: Lions OS: A secure operating system for networked devices 

Mingsheng Ying is currently a Distinguished Professor at the UTS Centre for Quantum Software and Information. He was Cheung Kong Professor and Director of Centre for Quantum Software at the Department of Computer Science, Tsinghua University; Research Professor and Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences. His research interests include quantum computing, programming languages, and logics in AI. He published the book “Foundations of Quantum Programming” (Morgan Kaufmann 2016; Second edition 2024). He currently serves as Editor-In-Chief of ACM Transactions on Quantum Computing.  

Talk title: Quantum Hoare Logic and Its Applications

Chitchanok Chuengsatiansup is a Senior Lecturer at the School of Computing and Information Systems, The University of Melbourne. Her research area covers cryptographic optimisation, efficient implementation, side-channel analysis, and high-assurance software. She was a finalist of the Google Hash Code and a winner of the global competition iDASH Healthcare Privacy Protection Challenge. Her research received the distinguished paper award at PLDI 2023 and the Humies Gold Award at GECCO 2023. Her work on the post-quantum scheme NTRU Prime has been selected as an alternative candidate in the NIST Post-Quantum Cryptography Standardization Project and is now a default option in OpenSSH.

Talk title: CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Dr Peter Rohde is Senior Quantum Researcher at BTQ and Honorary Senior Lecturer at Macquarie University. His research has focussed on optical quantum computing, cryptography and quantum networking. He is a former ARC Future Fellow and author of “The Quantum Internet” published by Cambridge University Press. 

Talk title: Cryptography in the quantum era