[16 Dec 2024] A tutorial of using WraLU for NN verification is given at ADC’24.
[13 Dec 2024] Our paper on multi-window information leakage on mobile devices is accepted by MobiCom’25.
[1 Dec 2024] Zihan Wang is awarded Google PhD Fellowship 2024. Congrats, Zihan!
[1 Nov 2024] Our ASE paper Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security is awarded ACM SIGSOFT Distinguished Paper. Congrats, Chuan!
[23 Aug 2024] Our paper on privacy leakage of language models is accepted by CCS’24. Congrats, Xinguo!
[7 Aug 2024] Our paper on the (in)security of ChatGPT extensions is accepted by ASE’24. Congrats, Chuan!
[7 Jul 2024] YanHui, our LLM-driven tester for machine learning library bugs is accepted by ISSTA’24. Congrats, Hao!
[19 Apr 2024] Our paper on LLM-driven testing is accepted by FSE’24. Congrats, Chuan!
[16 Apr 2024] Our paper on neuron-level AI model usage control is accepted by Oakland’24. Congrats, Zihan!
[1 Mar 2024] Our paper on algorithmic purpose limitation for privacy preservation is accepted by USENIX Security’24. Congrats, Shuofeng!
[15 Feb 2024] Two papers on security and privacy of web-based collaborative platforms are accepted by WWW’24. Congrats, Liuhuo!
[15 Dec 2023] I am serving ACM CCS 2024 as a PC member. Please submit your good works!
[10 Nov 2023] Our paper on neural network verification is accepted by POPL’24. Congrats, Zhongkui!

Tweets by baigd

About

I am an Associate Professor at School of Information Technology and Electrical Engineering, The University of Queensland, Australia. I obtained my PhD degree from National University of Singapore, Singapore, and my M.S. and B.S. degrees from Peking University, China. My research interests include Security and Privacy, Software Engineering and Formal Methods.

I lead the TrustLab@UQ CSS, a team fully devoted to developing theories, techniques, and systems that can guarantee the trustworthiness of complex software and intelligence systems. I am an Associate Editor of IEEE Transactions on Dependable and Secure Computing.

I am recently working on these areas:

• Privacy Compliance of Emerging App Ecosystems
• LLM-based Apps: ASE24 (ACM SIGSOFT Distinguished Paper)
• Virtual Personal Assistant Apps: PICO@ICSE24, QuPer@PETS24, Skipper@ASE22, VITAS@ASE22
• Web-based Apps: SIGMETRICS23, ExtPPCompliance@ASE22, WPF@WWW21
• Android: DopCheck@FSE24, U2-I2@NDSS23
• Trustworthy and Responsible AI
• AI Model Usage Control: CoreLocker@IEEE S&P24 [CoreLocker Website]
• Robustness Verification: WraLU@POPL24
• Privacy Compliance: AlgoSpec@Usenix Security24, AgrAmplifier@ACSAC22, TDSC22
• Reliable AI Model Deployment: ML Model Optimization Bugs@ICSE23
• IoT/ICS Security
• PFCon@WWW24
• Taifu (Taifu stands for 太傅, the Grand Tutor of the emperor in imperial China, who is in charge of providing a young emperor with moral guidance)@ISSTA21, [Taifu Website]
• HomeScan@TSE19
• ACSAC17
• Mobile Security
• U2-I2@NDSS23, [U2-I2 Website]
• MobiCom22
• ASE19
• DroidPF@TSE18

Work with me: I am looking for self-motivated PhD students, interns and postdocs. My current focus is on formal methods on security, protocol verification, fuzzing, machine learning and blockchain. If you are interested, please send me an email with your CV.

I am honored to be working or have worked with:

• Kailong Wang (NUS PhD, UQ Visiting Scholar, now Associate Professor at Huazhong University of Science and Technology): Network Security, Machine Learning on Security
• Kulani Mahadewa (NUS PhD, now Senior Lecturer at University of Moratuwa): IoT Security
• Yanjun Zhang (UQ PhD, now Lecturer at Deakin University): Privacy-preserving Machine Learning
• Quanqi Ye (NUS PhD, now Lecturer at Waikato University): Mobile Security