[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!
[1 Nov 2023] I am serving Usenix Security 2024 as a PC member. Please submit your good works!
[11 Oct 2023] Our paper on user privacy fairness of VPA apps is accepted by ICSE’24. Congrats, Fuman!
[28 Aug 2023] I serve the Web Conference (WWW)’24 as a PC member. Please submit your good works!
[11 Aug 2023] I serve FSE’24 as a PC member. Please submit your good works!
[7 Aug 2023] Our paper on privacy compliance is accepted by PETS’24. Congrats, Chuan!
[20 Jul 2023] I serve TDSC as an associate editor. Please submit your good works!
[25 Mar 2023] I serve NDSS’24 as a PC member. Please submit your good works!
[22 Mar 2023] Two papers are accepted by AsiaCCS’23. Congrats, Baiqi, Mengyao!
[10 Mar 2023] Dr Kailong Wang joined Huazhong University of Science and Technology as an Associate Professor. Congrats, Kailong!
[15 Dec 2022] I am serving ACM CCS’23 as a PC member. Please submit your good works!
[13 Dec 2022] I am promoted to Associate Professor (in commonwealth system) at UQ
[10 Dec 2022] Our paper on machine learning model optimization is accepted by ICSE 2023. Congrats, Hao!

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
• Virtual Personal Assistant Apps: QuPer@PETS24, Skipper@ASE22, VITAS@ASE22
• Browser Apps: SIGMETRICS23, ExtPPCompliance@ASE22, WPF@WWW21
• Trustworthy AI and Privacy-preserving Machine Learning
• Robustness Verification: WraLU@POPL24
• Model Optimization: ML Model Optimization Bugs@ICSE23
• Privacy Preservation: AgrAmplifier@ACSAC22, TDSC22
• Mobile Security
• U2-I2@NDSS23, [U2-I2 Website]
• MobiCom22
• ASE19
• DroidPF@TSE18
• IoT/ICS Security
• 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

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