Associate Professor Guangdong Bai
Associate Professor Software Engineering
School of Electrical Engineering and Computer Science
+61 7 336 51187
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 |
Book Chapter
Bean, Richard, Zhang, Yanjun, Ko, Ryan K. L., Mao, Xinyu and Bai, Guangdong (2023). Preserving the privacy and cybersecurity of home energy data. Emerging trends in cybersecurity applications. (pp. 323-343) edited by Kevin Daimi, Abeer Alsadoon, Cathryn Peoples and Nour El Madhoun. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-031-09640-2_14
Journal Articles
Bhattacharjee, Arnab, Bai, Guangdong, Tushar, Wayes, Verma, Ashu, Mishra, Sukumar and Saha, Tapan K. (2024). DeeBBAA: a benchmark deep black box adversarial attack against cyber-physical power systems. IEEE Internet of Things Journal, 11 (24), 40670-40688. doi: 10.1109/jiot.2024.3454257
Nguyen, Nhung H., Ge, Mengmeng, Cho, Jin-Hee, Moore, Terrence J., Yoon, Seunghyun, Lim, Hyuk, Nelson, Frederica, Bai, Guangdong and Kim, Dan Dongseong (2024). Graphical security modelling for Autonomous Vehicles: A novel approach to threat analysis and defense evaluation. Computers & Security, 150 104229, 1-19. doi: 10.1016/j.cose.2024.104229
Yan, Chuan, Meng, Mark Huasong, Xie, Fuman and Bai, Guangdong (2024). Investigating Documented Privacy Changes in Android OS. Proceedings of the ACM on Software Engineering, 1 (FSE), 2701-2724. doi: 10.1145/3660826
Cheng, Baijun, Zhao, Shengming, Wang, Kailong, Wang, Meizhen, Bai, Guangdong, Feng, Ruitao, Guo, Yao, Ma, Lei and Wang, Haoyu (2024). Beyond fidelity: explaining vulnerability localization of learning-based detectors. ACM Transactions on Software Engineering and Methodology, 33 (5) 127, 1-33. doi: 10.1145/3641543
Zhao, Xuan, Pang, Jiaman, Zhang, Wanghong, Peng, Xie, Yang, Zhenguo, Bai, Guangdong and Xia, Yaoyao (2024). Tryptophan metabolism and piglet diarrhea: Where we stand and the challenges ahead. Animal Nutrition, 17, 123-133. doi: 10.1016/j.aninu.2024.03.005
Zhang, Peng-Fei, Huang, Zi, Xu, Xin-Shun and Bai, Guangdong (2024). Effective and robust adversarial training against data and label corruptions. IEEE Transactions on Multimedia, 26, 9477-9488. doi: 10.1109/tmm.2024.3394677
Ma, Zhongkui, Li, Jiaying and Bai, Guangdong (2024). ReLU hull approximation. Proceedings of the ACM on Programming Languages, 8 (POPL) 75, 2260-2287. doi: 10.1145/3632917
Chee, Kok Onn, Ge, Mengmeng, Bai, Guangdong and Kim, Dan Dongseong (2024). IoTSecSim: a framework for modelling and simulation of security in Internet of Things. Computers and Security, 136 103534, 103534. doi: 10.1016/j.cose.2023.103534
Gong, Zirui, Shen, Liyue, Zhang, Yanjun, Zhang, Leo Yu, Wang, Jingwei, Bai, Guangdong and Xiang, Yong (2024). AgrAmplifier: defending federated learning against poisoning attacks through local update amplification. IEEE Transactions on Information Forensics and Security, 19, 1241-1250. doi: 10.1109/TIFS.2023.3333555
Wang, Shunyao, Ko, Ryan K. L., Bai, Guangdong, Dong, Naipeng, Choi, Taejun and Zhang, Yanjun (2023). Evasion attack and defense on machine learning models in cyber-physical systems: a survey. IEEE Communications Surveys and Tutorials, 26 (2), 930-966. doi: 10.1109/comst.2023.3344808
Feng, Xinguo, Zhang, Yanjun, Meng, Mark Huasong, Li, Yansong, Eu Joe, Chegne, Wang, Zhe and Bai, Guangdong (2023). Detecting contradictions from IoT protocol specification documents based on neural generated knowledge graph. ISA Transactions, 141, 10-19. doi: 10.1016/j.isatra.2023.04.025
Xu, Guangquan, Shao, Hongfei, Cui, Jingyi, Bai, Hongpeng, Li, Jiliang, Bai, Guangdong, Liu, Shaoying, Meng, Weizhi and Zheng, Xi (2023). GenDroid: a query-efficient black-box android adversarial attack framework. Computers and Security, 132 103359, 103359. doi: 10.1016/j.cose.2023.103359
Wang, Kailong, Ling, Yuxi, Zhang, Yanjun, Yu, Zhou, Wang, Haoyu, Bai, Guangdong, Ooi, Beng Chin and Dong, Jin Song (2023). Characterizing cryptocurrency-themed malicious browser extensions. ACM SIGMETRICS Performance Evaluation Review, 51 (1), 91-92. doi: 10.1145/3606376.3593529
Teng, Teng, Song, Xin, Sun, Guodong, Ding, Hongwei, Sun, Haoyang, Bai, Guangdong and Shi, Baoming (2023). Glucose supplementation improves intestinal amino acid transport and muscle amino acid pool in pigs during chronic cold exposure. Animal Nutrition, 12, 360-374. doi: 10.1016/j.aninu.2022.10.009
Biswas, Kamanashis, Muthukkumarasamy, Vallipuram, Bai, Guangdong and Chowdhury, Mohammad Jabed Morshed (2023). A reliable vaccine tracking and monitoring system for health clinics using blockchain. Scientific Reports, 13 (1) 570, 570. doi: 10.1038/s41598-022-26029-w
Zhang, Peng-Fei, Bai, Guangdong, Yin, Hongzhi and Huang, Zi (2023). Proactive privacy-preserving learning for cross-modal retrieval. ACM Transactions on Information Systems, 41 (2) 35, 1-23. doi: 10.1145/3545799
Wang, Kailong, Ling, Yuxi, Zhang, Yanjun, Yu, Zhou, Wang, Haoyu, Bai, Guangdong, Ooi, Beng Chin and Dong, Jin Song (2022). Characterizing cryptocurrency-themed malicious browser extensions. Proceedings of the ACM on Measurement and Analysis of Computing Systems, 6 (3) 43, 1-31. doi: 10.1145/3570603
Zhang, Yanjun, Bai, Guangdong, Li, Xue, Nepal, Surya, Grobler, Marthie, Chen, Chen and Ko, Ryan K. L. (2022). Preserving privacy for distributed genome-wide analysis against identity tracing attacks. IEEE Transactions on Dependable and Secure Computing, 20 (4), 1-17. doi: 10.1109/tdsc.2022.3186672
Meng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun and Dong, Jin Song (2022). Adversarial robustness of deep neural networks: A survey from a formal verification perspective. IEEE Transactions on Dependable and Secure Computing, 1-1. doi: 10.1109/tdsc.2022.3179131
Gao, Hongcan, Guo, Chenkai, Bai, Guangdong, Huang, Dengrong, He, Zhen, Wu, Yanfeng and Xu, Jing (2022). Sharing runtime permission issues for developers based on similar-app review mining. Journal of Systems and Software, 184 111118, 111118. doi: 10.1016/j.jss.2021.111118
Mahadewa, Kulani, Wang, Kailong, Bai, Guangdong, Shi, Ling, Liu, Yan, Dong, Jin Song and Liang, Zhenkai (2020). Scrutinizing implementations of smart home integrations. IEEE Transactions on Software Engineering, 47 (12), 1-1. doi: 10.1109/tse.2019.2960690
Sun, Yuchen, Teng, Teng, Bai, Guangdong, Qiu, Shengnan, Shi, Baoming, Ju, Daxin and Zhao, Xuan (2020). Protein-restricted diet balanced for lysine, methionine, threonine, and tryptophan for nursery pigs elicits subsequent compensatory growth and has long term effects on protein metabolism and organ development. Animal Feed Science and Technology, 270 114712, 1-13. doi: 10.1016/j.anifeedsci.2020.114712
Wu, Yanfeng, Guo, Chenkai, Gao, Hongcan, Xu, Jing and Bai, Guangdong (2020). Dilated residual networks with multi-level attention for speaker verification. Neurocomputing, 412, 177-186. doi: 10.1016/j.neucom.2020.06.079
Guo, Chenkai, Huang, Dengrong, Zhang, Jianwen, Xu, Jing, Bai, Guangdong and Dong, Naipeng (2020). Early prediction for mode anomaly in generative adversarial network training: an empirical study. Information Sciences, 534, 117-138. doi: 10.1016/j.ins.2020.05.046
Zhao, X., Fu, H. Y., Qiu, S. N., Teng, T., Bai, G. D., Ju, D. X., Sun, Y. C. and Shi, B. M. (2020). Effects of early protein restriction on the growth performance and gut development of pigs fed diets with or without antibiotic. Animal, 14 (7) PII S1751731119002921, 1392-1401. doi: 10.1017/S1751731119002921
Zhang, Yanjun, Bai, Guangdong, Zhong, Mingyang, Li, Xue and Ko, Ryan K. L. (2020). Differentially private collaborative coupling learning for recommender systems. IEEE Intelligent Systems, 36 (1) 9130104, 1-1. doi: 10.1109/MIS.2020.3005930
Dong, Naipeng, Bai, Guangdong, Huang, Lung-Chen, Lim, Edmund Kok Heng and Dong, Jin Song (2020). A blockchain-based decentralized booking system. Knowledge Engineering Review, 35 e17, e17. doi: 10.1017/s0269888920000260
Gao, Hongcan, Guo, Chenkai, Huang, Dengrong, Hou, Xiaolei, Wu, Yanfeng, Xu, Jing, He, Zhen and Bai, Guangdong (2020). Autonomous Permission Recommendation. IEEE Access, 8 8962006, 76580-76594. doi: 10.1109/ACCESS.2020.2967139
Kumar, Pardeep, Lin, Yun, Bai, Guangdong, Paverd, Andrew, Dong, Jin Song and Martin, Andrew (2019). Smart grid metering networks: a survey on security, privacy and open research issues. IEEE Communications Surveys and Tutorials, 21 (3), 2886-2927. doi: 10.1109/comst.2019.2899354
Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song and Visser, Willem (2018). Towards model checking Android applications. IEEE Transactions on Software Engineering, 44 (6), 595-612. doi: 10.1109/tse.2017.2697848
Mao, Jian, Bian, Jingdong, Bai, Guangdong, Wang, Ruilong, Chen, Yue, Xiao, Yinhao and Liang, Zhenkai (2018). Detecting Malicious Behaviors in JavaScript Applications. Ieee Access, 6, 12284-12294. doi: 10.1109/ACCESS.2018.2795383
Bai, Guangdong, Yan, Lin, Gu, Liang, Guo, Yao and Chen, Xiangqun (2014). Context-aware usage control for Web of Things. Security and Communication Networks, 7 (12), 2696-2712. doi: 10.1002/sec.424
Conference Papers
Yang, Shishuai, Bai, Guangdong, Lin, Ruoyan, Guo, Jialong and Diao, Wenrui (2024). Beyond the horizon: exploring cross-market security discrepancies in parallel Android apps. 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE), Tsukuba, Japan, 28-31 October 2024. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/issre62328.2024.00059
Yan, Chuan, Ren, Ruomai, Meng, Mark Huasong, Wan, Liuhuo, Ooi, Tian Yang and Bai, Guangdong (2024). Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security. 39th ACM/IEEE International Conference on Automated Software Engineering (ASE), Sacramento Ca, Oct 28-Nov 01, 2024. New York, NY, USA: ACM. doi: 10.1145/3691620.3695510
Ma, Mengyao, Liu, Shuofeng, Chamikara, M. A. P., Baruwal Chhetri, Mohan and Bai, Guangdong (2024). Unveiling intellectual property vulnerabilities of GAN-based distributed machine learning through model extraction attacks. 33rd ACM International Conference on Information and Knowledge Management (CIKM), Boise, ID USA, 21-25 October 2024. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3627673.3679850
Guan, Hao, Bai, Guangdong and Liu, Yepang (2024). Large language models can connect the dots: exploring model optimization bugs with domain knowledge-aware prompts. 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA), Vienna, Austria, 16-20 September 2024. New York, United States: Association for Computing Machinery. doi: 10.1145/3650212.3680383
Zhang, Peng-Fei, Huang, Zi and Bai, Guangdong (2024). Universal adversarial perturbations for vision-language pre-trained models. 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, Washington, DC, United States, 14-18 July 2024. New York, NY, United States: ACM. doi: 10.1145/3626772.3657781
Nguyen, Nhung H., Cho, Jin-Hee, Moore, Terrence J., Yoon, Seunghyun, Lim, Hyuk, Nelson, Frederica, Bai, Guangdong and Kim, Dan Dongseong (2024). AuSSE: a novel framework for security and safety evaluation for autonomous vehicles. 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Brisbane, QLD, Australia, 24-27 June 2024. Piscataway, NJ, United States: IEEE. doi: 10.1109/dsn-s60304.2024.00012
Swain, Subrat Kumar, Kumar, Vireshwar, Bai, Guangdong and Kim, Dan Dongseong (2024). PANDA: Practical Adversarial Attack Against Network Intrusion Detection. 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Brisbane, QLD, Australia, 24-27 June 2024. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/dsn-s60304.2024.00017
Wang, Zihan, Ma, Zhongkui, Feng, Xinguo, Sun, Ruoxi, Wang, Hu, Xue, Minhui and Bai, Guangdong (2024). CORELOCKER: neuron-level usage control. 2024 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, United States, 19-23 May 2024. Piscataway, NJ, United States: IEEE. doi: 10.1109/sp54263.2024.00233
Wan, Liuhuo, Wang, Kailong, Mahadewa, Kulani, Wang, Haoyu and Bai, Guangdong (2024). Don't bite off more than you can chew: investigating excessive permission requests in trigger-action integrations. WWW '24: ACM Web Conference 2024, Singapore, Singapore, 13–17 May 2024. New York, NY, United States: ACM. doi: 10.1145/3589334.3645721
Wan, Liuhuo, Wang, Kailong, Wang, Haoyu and Bai, Guangdong (2024). Is it safe to share your files? An empirical security analysis of Google workspace. ACM Web Conference 2024, Singapore, Singapore, 13-17 May 2024. New York, NY, United States: ACM. doi: 10.1145/3589334.3645697
Zhang, Yanjun, Sun, Ruoxi, Shen, Liyue, Bai, Guangdong, Xue, Minhui, Meng, Mark Huasong, Li, Xue, Ko, Ryan and Nepal, Surya (2024). Privacy-preserving and fairness-aware federated learning for critical infrastructure protection and resilience. WWW '24: ACM Web Conference 2024, Singapore, Singapore, 13-17 May 2024. New York, NY, United States: ACM. doi: 10.1145/3589334.3645545
Xie, Fuman, Yan, Chuan, Meng, Mark Huasong, Teng, Shaoming, Zhang, Yanjun and Bai, Guangdong (2024). Are your requests your true needs? Checking excessive data collection in VPA App. ICSE '24: IEEE/ACM 46th International Conference on Software Engineering, Lisbon, Portugal, 14-20 April 2024. New York, NY, United States: ACM. doi: 10.1145/3597503.3639107
Upadhyay, Pankaj, Sharma, Subodh and Bai, Guangdong (2024). Symbolic verification of mesh commissioning protocol of thread. 17th Innovations in Software Engineering Conference (ISEC), Bangalore, India, 22-24 February 2024. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3641399.3641446
Dong, Jie, Dong, Naipeng and Bai, Guangdong (2024). The Benefits of Non-Fungible Token (NFT) Technology in Music Copyright. 7th International Symposium on Distributed Ledger Technology SDLT 2023, Brisbane, QLD Australia, 30 November – 1 December 2023. Singapore: Springer. doi: 10.1007/978-981-97-0006-6_7
Ling, Yuxi, Hao, Yun, Wang, Yuyan, Wang, Kailong, Bai, Guangdong and Dong, Jin Song (2024). Essential or excessive? MINDAEXT: measuring data minimization practices among browser extensions. 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Rovaniemi, Finland, 12-15 March 2024. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/SANER60148.2024.00104
Swain, Subrat Kumar, Kumar, Vireshwar, Kim, Dan Dongseong and Bai, Guangdong (2023). SPAT: Semantic-Preserving Adversarial Transformation for Perceptually Similar Adversarial Examples. 26th European Conference on Artificial Intelligence ECAI 2023, Kraków, Poland, 30 September – 4 October 2023. Amsterdam, Netherlands: IOS Press. doi: 10.3233/FAIA230525
Bu, Lei, Zhang, Qiuping, Li, Suwan, Dai, Jinglin, Bai, Guangdong, Chen, Kai and Li, Xuandong (2023). Security checking of trigger-action-programming smart home integrations. ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, United States, 17-21 July 2023. New York, United States: Association for Computing Machinery. doi: 10.1145/3597926.3598084
Chen, Baiqi, Wu, Tingmin, Zhang, Yanjun, Chhetri, Mohan Baruwal and Bai, Guangdong (2023). Investigating users’ understanding of privacy policies of virtual personal assistant applications. 18th ACM ASIA Conference on Computer and Communications Security (ASIA CCS), Melbourne, VIC, Australia, 10-14 July 2023. New York, NY, United States: Association for Computing Machinery. doi: 10.1145/3579856.3590335
Ma, Mengyao, Zhang, Yanjun, Arachchige, Pathum Chamikara Mahawaga, Zhang, Leo Yu, Chhetri, Mohan Baruwal and Bai, Guangdong (2023). LoDen: making every client in federated learning a defender against the poisoning membership inference attacks. 18th ACM ASIA Conference on Computer and Communications Security (ASIA CCS), Melbourne, VIC, Australia, 10-14 July 2023. New York, NY, United States: ACM. doi: 10.1145/3579856.3590334
Wang, Kailong, Ling, Yuxi, Zhang, Yanjun, Yu, Zhou, Wang, Haoyu, Bai, Guangdong, Ooi, Beng Chin and Dong, Jin Song (2023). Characterizing cryptocurrency-themed malicious browser extensions. SIGMETRICS '23: ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, Orlando, FL, United States, 19 - 23 June 2023. New York, NY, United States: ACM. doi: 10.1145/3578338.3593529
Peng, Shu, Dong, Naipeng and Bai, Guangdong (2023). Quantitative explainable AI for face recognition. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, 14-16 June 2023. Piscataway, NJ, United States: IEEE. doi: 10.1109/iceccs59891.2023.00014
Meng, Mark Huasong, Teo, Sin G., Bai, Guangdong, Wang, Kailong and Dong, Jin Song (2023). Enhancing federated learning robustness using data-agnostic model pruning. 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, 25-28 May 2023. Cham, Switzerland: Springer. doi: 10.1007/978-3-031-33377-4_34
Zhang, Yanjun, Bai, Guangdong, Chamikara, Mahawaga Arachchige Pathum, Ma, Mengyao, Shen, Liyue, Wang, Jingwei, Nepal, Surya, Xue, Minhui, Wang, Long and Liu, Joseph (2023). AgrEvader: poisoning membership inference against Byzantine-robust federated learning. WWW '23: ACM Web Conference 2023, Austin, TX, United States, 30 April - 4 May 2023. New York, NY, United States: ACM. doi: 10.1145/3543507.3583542
Ling, Yuxi, Wang, Kailong, Bai, Guangdong, Wang, Haoyu and Dong, Jin Song (2023). Are they toeing the line? Diagnosing privacy compliance violations among browser extensions. ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester MI, United States, 10-14 October 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3551349.3560436
Meng, Mark Huasong, Zhang, Qing, Xia, Guangshuai, Zheng, Yuwei, Zhang, Yanjun, Bai, Guangdong, Liu, Zhi, Teo, Sin G. and Dong, Jin Song (2023). Post-GDPR threat hunting on Android phones: dissecting OS-level safeguards of user-unresettable identifiers. Network and Distributed System Security (NDSS) Symposium 2023, San Diego, CA, United States, 27 February-3 March 2023. Reston, VA, United States: Internet Society. doi: 10.14722/ndss.2023.23176
Guan, Hao, Xiao, Ying, Li, Jiaying, Liu, Yepang and Bai, Guangdong (2023). A comprehensive study of real-world bugs in machine learning model optimization. 45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, VIC, Australia, 14-20 May 2023. Washington, DC, United States: IEEE Computer Society. doi: 10.1109/ICSE48619.2023.00024
Meng, Shi, Wang, Liu, Wang, Shenao, Wang, Kailong, Xiao, Xusheng, Bai, Guangdong and Wang, Haoyu (2023). Wemint: tainting sensitive data leaks in WeChat mini-programs. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxembourg, 11-15 September 2023. New York, NY, New York: Institute of Electrical and Electronics Engineers. doi: 10.1109/ASE56229.2023.00151
Meng, Mark Huasong, Bai, Guangdong, Teo, Sin G. and Dong, Jin Song (2023). Supervised robustness-preserving data-free neural network pruning. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, 12 - 16 June 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICECCS59891.2023.00013
Li, Jiaying, Bai, Guangdong, Pham, Long H. and Sun, Jun (2023). Towards an effective and interpretable refinement approach for DNN verification. 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS), Chiang Mai, Thailand, 22-26 October 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/QRS60937.2023.00062
Shen, Liyue, Zhang, Yanjun, Wang, Jingwei and Bai, Guangdong (2022). Better together: attaining the triad of Byzantine-robust federated learning via local update amplification. 38th Annual Computer Security Applications Conference, Austin, TX, United States, 5-9 December 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3564625.3564658
Wan, Liuhuo, Zhang, Yanjun, Li, Ruiqing, Ko, Ryan, Hoffman, Louw and Bai, Guangdong (2022). SATB: A Testbed of IoT-Based Smart Agriculture Network for Dataset Generation. 18th International Conference on Advanced Data Mining and Applications (ADMA 2022), Brisbane, QLD Australia, 28–30 November 2022. Heidelberg, Germany: Springer. doi: 10.1007/978-3-031-22064-7_11
Wang, Kailong, Zheng, Yuwei, Zhang, Qing, Bai, Guangdong, Qin, Mingchuang, Zhang, Donghui and Dong, Jin Song (2022). Assessing certificate validation user interfaces of WPA supplicants. ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, MOBICOM, Sydney, NSW Australia, 17 - 21 October 2022. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3495243.3517026
Xie, Fuman, Zhang, Yanjun, Yan, Chuan, Li, Suwan, Bu, Lei, Chen, Kai, Huang, Zi and Bai, Guangdong (2022). Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps. ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI United States, 10 - 14 October 2022. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3551349.3560416
Li, Suwan, Bu, Lei, Bai, Guangdong, Guo, Zhixiu, Chen, Kai and Wei, Hanlin (2022). VITAS: guided model-based VUI testing of VPA apps. ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester, MI USA, 10-14 October 2022. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3551349.3556957
Zhang, Peng-Fei, Bai, Guangdong, Huang, Zi and Xu, Xin-Shun (2022). Machine unlearning for image retrieval : a generative scrubbing approach. MM '22: The 30th ACM International Conference on Multimedia, Lisbon, Portugal, 10-14 October 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3503161.3548378
Zhang, Peng-Fei, Huang, Zi, Bai, Guangdong and Xu, Xin-Shun (2022). IDEAL: high-order-ensemble adaptation network forlearning with noisy labels. MM '22: The 30th ACM International Conference on Multimedia, Lisbon, Portugal, 10-14 October 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3503161.3548053
Zhang, Chenhao, Zhang, Yanjun, Mao, Jeff, Chen, Weitong, Yue, Lin, Bai, Guangdong and Xu, Miao (2022). Towards better generalization for neural network-based SAT solvers. 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, 16-19 May 2022. CHAM: Springer Science and Business Media Deutschland GmbH. doi: 10.1007/978-3-031-05936-0_16
Xie, Fuman, Zhang, Yanjun, Wei, Hanlin and Bai, Guangdong (2022). UQ-AAS21: A comprehensive dataset of Amazon Alexa skills. 17th International Conference on Advanced Data Mining Applications (ADMA), Online, 2-4 February, 2022. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-95405-5_12
Yuan, Xingliang, Bai, Guangdong, Alcaraz, Cristina and Majumdar, Suryadipta (2022). Preface. 16th International Conference, NSS 2022, Denarau Island, Fiji, 9–12 December 2022. Heidelberg, Germany: Springer.
Zhang, Yanjun, Bai, Guangdong, Li, Xue, Curtis, Caitlin, Chen, Chen and Ko, Ryan K. L. (2021). Privacy-preserving gradient descent for distributed genome-wide analysis. ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, 4–8 October, 2021. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-88428-4_20
Wei, Hanlin, Hassanshahi, Behnaz, Bai, Guangdong, Krishnan, Padmanabhan and Vorobyov, Kostyantyn (2021). MoScan: A model-based vulnerability scanner for web single sign-on services. 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2021, Online, 11 - 17 July 2021. New York, NY United States: Association for Computing Machinery. doi: 10.1145/3460319.3469081
Mahadewa, Kulani, Zhang, Yanjun, Bai, Guangdong, Bu, Lei, Zuo, Zhiqiang, Fernando, Dileepa, Liang, Zhenkai and Dong, Jin Song (2021). Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, Denmark, 11 - 17 July 2021. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3460319.3464838
Wang, Kailong, Zhang, Junzhe, Bai, Guangdong, Ko, Ryan and Dong, Jin Song (2021). It’s Not Just the Site, It’s the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW '21: The Web Conference 2021, Ljubljana, Slovenia, 19-23 April 2021. New York, NY United States: ACM. doi: 10.1145/3442381.3450008
Choi, Taejun, Bai, Guangdong, Ko, Ryan K. L., Dong, Naipeng, Zhang, Wenlu and Wang, Shunyao (2021). An analytics framework for heuristic inference attacks against industrial control systems. 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 202, Guangzhou, China, 29 December 2020-1 January 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/TrustCom50675.2020.00112
Wang, Liu, Li, Ruiqing, Zhu, Jiaxin, Bai, Guangdong and Wang, Haoyu (2021). A large-scale empirical study of COVID-19 themed GitHub repositories. 45th Annual International IEEE-Computer-Society Computers, Software, and Applications Conference (COMPSAC), Madrid, Spain, 12-16 July 2021. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/compsac51774.2021.00124
Wang, Liu, Li, Ruiqing, Zhu, Jiaxin, Bai, Guangdong, Su, Weihang and Wang, Haoyu (2021). Understanding the impact of COVID-19 on github developers: a preliminary study. 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2021), Pittsburg, PA, United States, 1 - 10 July 2021. Skokie, IL, United States: Knowledge Systems Institute Graduate School. doi: 10.18293/SEKE2021-132
Lu, Yuteng, Sun, Weidi, Bai, Guangdong and Sun, Meng (2021). DeepAuto: a first step towards formal verification of deep learning systems. 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2021), Pittsburg, PA, United States, 1 - 10 July 2021. Skokie, IL, United States: Knowledge Systems Institute Graduate School. doi: 10.18293/SEKE2021-090
Xia, Pengcheng, Wang, Haoyu, Luo, Xiapu, Wu, Lei, Zhou, Yajin, Bai, Guangdong, Xu, Guoai, Huang, Gang and Liu, Xuanzhe (2020). Don't Fish in Troubled Waters! Characterizing Coronavirus-Themed Cryptocurrency Scams. APWG Symposium on Electronic Crime Research (eCrime), Online, 16-19 November 2020. Piscataway, NJ United States: IEEE. doi: 10.1109/eCrime51433.2020.9493255
Ji, Ru, He, Ningyu, Wu, Lei, Wang, Haoyu, Bai, Guangdong and Guo, Yao (2020). DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts. 2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 28-31 October 2020. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICECCS51672.2020.00022
Wei, Hanlin, Bai, Guangdong and Luo, Zongwei (2020). Foggy: a new anonymous communication architecture based on microservices. 25th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, Singapore, 28 - 31 October 2020. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/iceccs51672.2020.00023
Zhang, Yanjun, Bai, Guangdong, Li, Xue, Curtis, Caitlin, Chen, Chen and Ko, Ryan K. L. (2020). PrivColl: practical privacy-preserving collaborative machine learning. European Symposium on Research in Computer Security, Guildford, United Kingdom, 14-18 September 2020. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-030-58951-6_20
Liu, Tianming, Wang, Haoyu, Li, Li, Bai, Guangdong, Guo, Yao and Xu, Guoai (2019). DaPanda: detecting aggressive push notifications in android apps. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), San Diego, CA, United States, 10-11 November 2019. New York, United States: Institute of Electrical and Electronics Engineers . doi: 10.1109/ASE.2019.00017
Ye, Quanqi, Zhang, Yan, Bai, Guangdong, Dong, Naipeng, Liang, Zhenkai, Dong, Jin Song and Wang, Haoyu (2019). LightSense: a novel side channel for zero-permission mobile user tracking. 22nd International Conference, ISC, New York, NY, United States, 16-18 September 2019. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-30215-3_15
Meng, Mark H., Bai, Guangdong, Liu, Joseph K., Luo, Xiapu and Wang, Yu (2019). Analyzing use of high privileges on android: an empirical case study of screenshot and screen recording applications. 14th International Conference, Inscrypt 2018, Fuzhou, China, 14-17 December 2018. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-030-14234-6_19
Wang, Kailong, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). A Framework for Formal Analysis of Privacy on SSO Protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls Canada, 22-25 October 2017. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-78813-5_41
Thin, Wai Yan Maung Maung, Dong, Naipeng, Bai, Guangdong and Dong, Jin Song (2018). Formal Analysis of a Proof-of-Stake Blockchain. 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, VIC Australia, 12-14 December 2018. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs2018.2018.00031
Lin, Yun, Sun, Jun, Tran, Lyly, Bai, Guangdong, Wang, Haijun and Dong, Jinsong (2018). Break the dead end of dynamic slicing: localizing data and control omission bug. 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Montpellier, France, 3-7 September 2018. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1145/3238147.3238163
Ye, Quanqi, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). Inferring implicit assumptions and correct usage of mobile payment protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls, Canada, 22-25 October 2017. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-78813-5_24
Chen, Binbin, Dong, Xinshu, Bai, Guangdong, Jauhar, Sumeet and Cheng, Yueqiang (2017). Secure and efficient software-based attestation for industrial control devices with ARM processors. 33rd Annual Computer Security Applications Conference (ACSAC), Orlando, FL, United States, 4-8 December, 2017. Washington, DC United States: I E E E Computer Society. doi: 10.1145/3134600.3134621
Guo, Chenkai, Dong, Naipeng, Bai, Guangdong, Ye, Quanqi, Dong, Jinsong, Xu, Jing and Si, Guannan (2017). App genome: callback sequencing in Android. IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), Buenos Aires, Argentina, 20-28 May 2017. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icse-c.2017.82
Li, Li, Dong, Naipeng, Pang, Jun, Sun, Jun, Bai, Guangdong, Liu, Yang and Dong, Jin Song (2017). A verification framework for stateful security protocols. 19th International Conference on Formal Engineering Methods (ICFEM), Xian, Peoples Republic of China, 13-17 November 2017. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-319-68690-5_16
Xiao, Yinhao, Bai, Guangdong, Mao, Jian, Liang, Zhenkai and Cheng, Wei (2017). Privilege Leakage and Information Stealing through the Android Task Mechanism. 1st IEEE Symposium on Privacy-Aware Computing (PAC), Washington Dc, Aug 01-04, 2017. NEW YORK: IEEE. doi: 10.1109/PAC.2017.29
Guo, Chenkai, Ye, Quanqi, Dong, Naipeng, Bai, Guangdong, Dong, Jin Song and Xu, Jing (2016). Automatic construction of callback model for android application. 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, United Arab Emirates, 6-8 November 2016. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ICECCS.2016.041
Li, Xiaolei, Hu, Hong, Bai, Guangdong, Jia, Yaoqi, Liang, Zhenkai and Saxena, Prateek (2014). DroidVault: A Trusted Data Vault for Android Devices. 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, 4-7 August 2014. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs.2014.13
Bai, Guangdong, Hao, Jianan, Wu, Jianliang, Liu, Yang, Liang, Zhenkai and Martin, Andrew (2014). TrustFound: Towards a formal foundation for model checking trusted computing platforms. FM: International Symposium on Formal Methods, Singapore, Singapore, 12-16 May 2014. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-06410-9_8
Hao, Jianan, Liu, Yang, Cai, Wentong, Bai, Guangdong and Sun, Jun (2013). vTRUST: a formal modeling and verification framework for virtualization systems. 15th International Conference on Formal Engineering Methods (ICFEM), Queenstown, New Zealand, 29 October-1 November 2013. Heidelberg, Germany: Springer.
Li, Xiaolei, Bai, Guangdong, Liang, Zhenkai and Yin, Heng (2013). A Software Environment for Confining Malicious Android Applications via Resource Virtualization. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 17-19 July 2013. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs.2013.38
Bai, Guangdong, Gu, Liang, Feng, Tao, Guo, Yao and Chen, Xiangqun (2010). Context-aware usage control for Android. 6th International Conference on Security and Privacy in Communication Networks (SecureComm 2010), Singapore, Singapore, 7-9 September 2010. Heidelberg, Germany: Springer.