Associate Professor Guangdong Bai

Researcher biography
A/Prof Guangdong Bai is an Associate Professor at the Discipline of Cyber Security and Software Engineering (CSS), School of Electrical Engineering and Computer Science (EECS), The University of Queensland, Australia. His research interests include Trustworthy AI, Cyber Security, Software Engineering and Formal Methods. He obtained his PhD degree from National University of Singapore, Singapore, and M.S. and B.S. degrees from Peking University, China.
A/Prof Bai is the Program Convenor of Master of Cyber Security (2023-2025) and Software Engineering Postgraduate Degrees (2020-).
A/Prof Bai is an Associate Editor of IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Services Computing, and Neural Networks.
Please visit his webpage for latest update: https://baigd.github.io/
A/Prof Bai leads the TrustLab at the Discipline of Cyber Security and Software Engineering (CSS), School of EECS. The researchers of TrustLab focuse on the forefront of cutting-edge research in trustworthy software and intelligent systems. With a mission to develop innovative theories, techniques, and systems, TrustLab aims to enhance the security, robustness, and reliability of modern software and AI-driven technologies. Their research has been recognized at top-tier venues including IEEE S&P, ACM CCS, Usenix Security, NDSS, ICSE, FSE, ASE, ISSTA, WWW, and MobiCom,
Explore our groundbreaking research at https://trustlab.uqcloud.net/projects/
Recent Research Highlights:
- Trustworthy and responsible AI
- Safeguarding AI models and IP of model wwners: CoreLocker (IEEE S&P 2024), AIM (WWW 2025)
- Formal verification of AI models: WraLU (POPL 2024)
- Privacy compliance to GDPR, Australia Privacy Act 1988: AlgoSpec (Usenix Security 2024)
- Privacy-preserving machine learning: GRAB (ACM CCS 2024)
- Security and privacy of AI-backed software: ChatGPT app security (ASE 2024, ACM SIGSOFT Distinguished Paper Award)
- AI for Security/Software Engineering
- LLM for vulnerability and bug detection and fix: YanHui (ISSTA 2024)
- Web Cookie privacy compliance: WWW 2025,
- VUI privacy compliance: Pico (ICSE 2024), Skipper (ASE 2023)
- Privacy policy analysis: QuPer (PETS 2024)
- Web application security: PFCon (WWW 2024)
- Mobile security and privacy: U2-I2 (NDSS 2023)
Featured projects | Duration |
---|---|
Cyber autonomy and automation | |
An Industrial Internet of Things Testbed for Secure Digital Agriculture UQ Cyber Seed Funding |
2021–2022 |
Formal Verification of Post-Quantum Cryptographic Primitives UQ Cyber Seed Funding |
2021–2023 |
Collaborated Learning with medical data making high-stake decisions without information leakage UQ Cyber Seed Funding |
2022 |
“Are Power Transformers Hackable?” - Leveraging Security and Reliability of Large Power Transformers in Australia’s Power Grids UQ Cyber Seed Funding |
2023 |
Quantitative analysis of Consensus Protocols Industrial Partner Funded |
|
User Privacy Protection for Credit Data on Mobile Devices |