Security research at the University of Melbourne.

Aaron Bembenek is a Research Fellow who designs and builds reasoning systems for (automatically) proving the security and correctness of software. He completed his PhD at Harvard University where he worked on combining logic programming and constraint solving with applications to program analysis and program synthesis.

Amir Mohammad is a Research Fellow in Software Security who previously worked as a Research Associate at UNSW Canberra, collaborating to develop a new threat-detection model for protecting Internet of Things (IoT)-based combat systems. He has participated in research projects nationally and internationally with various universities and received additional funds and grants from industry and academia. His research interests shifted towards cyber security in resource-constrained devices, particularly enhancing IoTs and smartphones’ real-time on-device vulnerability detection performance.

Yujin Huang is a Research Fellow whose work focuses on trustworthy on-device AI and software security, with particular emphasis on the security of on-device deep learning and mobile agent privacy. He earned his PhD from the University of Melbourne and was the sole recipient of the 2023 Dean’s Award for Excellence by a Graduate Research Student in the Department of Software Systems and Cybersecurity at Monash University.

Tian (Jack) Zhang is a PhD student.

Wentao is a PhD student interested in human-in-the-loop fuzzing.

I am a PhD candidate at the University of Melbourne, advised by Dr Van-Thuan Pham, Dr Shaanan Cohney, Professor Toby Murray, and Dr Amirmohammad Pasdar. My research focuses on fuzz testing and software vulnerability detection. Prior to my PhD, I earned a Master’s degree in Cybersecurity from Monash University (2024), graduating as the top student (Dux of Postgraduate). I also hold a Bachelor’s degree in Electrical Engineering from UNSW (2019) and am a GIAC Certified Incident Handler.

Tian Qiu is a PhD student. She is interested in Automated Program Synthesis for Security Testing, especially Fuzz Driver Generation.

Xinyu Tu is currently working toward the Ph.D. degree with the School of Computer Science, Fudan University, Shanghai, China. His research interests include data security, secure multi-party learning, and multi-party computation. From 2026 to 2027, he is a Visiting Scholar at the School of Computing and Information Systems, the University of Melbourne, Melbourne, Australia.

Haotian is a PhD student interested in agentic systems and how to make them more robust and secure.

Zewei graduated from the University of Sydney with a Bachelor of Advanced Computing (Honours) in 2023. He is currently a PhD candidate at the University of Melbourne, and his research interests focus on multimodal large language models (MLLMs) for digital trust. Before starting his PhD, he worked as a research intern at CSIRO’s Data61. He now serves as a bridge to promote collaboration between the University of Melbourne and CSIRO’s Data61.

Xiangyu Hui is a PhD candidate in Engineering and IT at the University of Melbourne. His research focuses on encrypted data retrieval, zero-knowledge proofs, and secure protocols. He was previously a Research Associate at CSIRO Data61.

Jiahao Yang is a Ph.D. student. His research interests primary focus on trustworthy machine learning, including aspects such as robustness, privacy, and interpretability.

Faxing is a PhD student. He is interested in magic tricks that can be done by cryptography

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, and side-channel analysis. She was among the finalists of the Google Hash Code, the winners of the global competition iDASH Healthcare Privacy Protection Challenge, and the contributors of the lattice-based key encapsulation mechanism NTRU Prime submitted to the NIST Post-Quantum Cryptography Standardization Project. Prior to joining The University of Melbourne, she was a Lecturer at The University of Adelaide, Australia, and a postdoctoral researcher at Inria and ENS de Lyon, France. Before that, she conducted her PhD study at Eindhoven University of Technology, The Netherlands. She was awarded a prestigious Japanese Government Scholarship (Monbukagakusho) for her Master’s study and obtained the Master degree in Computer Science from the Graduate School of Information Science and Technology, The University of Tokyo. Her undergraduate study was at Chulalongkorn University, Thailand, where she received the Bachelor degree of Engineering program in Computer Engineering with first class honors.

Zheguang Zhao was a research fellow at the University of Melbourne. His research focuses on security issues in data-intensive systems, human computer interaction and machine learning. He is currently studying vulnerabilities in human-AI collaboration, with applications in broad scenarios such as self-driving vehicles, medical diagnosis, fraud detection and cyberanalysis. His focus is on building attacks aiming at AI decision-making, computing and human resources, human-machine trust, and on designing and analyzing security protocols against such threats. Zheguang was a postdoctoral researcher at Technical University at Darmstadt from 2021-2022. He obtained PhD in computer science from Brown University in 2021.

Joseph was an Associate Professor whose work focuses on applied crypto, cryptocurrencies, and econonomic and human factors in security. He is a co-authored of the textbook “Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction.” Joseph’s research has spanned a variety of topics in cryptography and security including HTTPS and web security, verifiable lotteries, passwords and authentication, and end-to-end encrypted communication tools. His research has been recognized with the NSA Award for Best Cybersecurity Paper and the Caspar Bowden Privacy Enhancing Technology Award. Prior to his appointment at the University of Melbourne, Joseph held a faculty position at NYU. He has worked for the Electronic Frontier Foundation and Google and completed post-doctoral fellowships at Stanford and Princeton University. Joseph holds a Ph.D. from the University of Cambridge and B.S. and M.S. degrees from Stanford.

Dr Ding is interested in the optimization problems raised in cyber-security, statistical machine learning and information theory

Rob was a postdoctoral researcher who is broadly interested in discovering how best to design and construct software systems with formally proved functional-correctness and security properties at scale. Their research with the University of Melbourne concerned the formal verification of operating systems to enforce the absence of microarchitectural timing channels.

Zhiyuan a PhD student. He is interested in side-channel analysis and cryptography.

Jiankai is a PhD student. He is interested in machine learning privacy and robustness.

Pengbo is a PhD student interested in formal verification.