Guangdong Bai

According to our database, Guangdong Bai authored at least 115 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Beyond Fidelity: Explaining Vulnerability Localization of Learning-Based Detectors.

Baijun Cheng, Shengming Zhao, Kailong Wang, Meizhen Wang, Guangdong Bai, Ruitao Feng, Yao Guo, Lei Ma, Haoyu Wang

ACM Trans. Softw. Eng. Methodol., June, 2024

On the Quality of Privacy Policy Documents of Virtual Personal Assistant Applications.

Chuan Yan, Fuman Xie, Mark Huasong Meng, Yanjun Zhang, Guangdong Bai

Proc. Priv. Enhancing Technol., January, 2024

ReLU Hull Approximation.

Zhongkui Ma, Jiaying Li, Guangdong Bai

Proc. ACM Program. Lang., January, 2024

IoTSecSim: A framework for modelling and simulation of security in Internet of things.

Kok Onn Chee, Mengmeng Ge, Guangdong Bai, Dan Dongseong Kim

Comput. Secur., January, 2024

Effective and Robust Adversarial Training Against Data and Label Corruptions.

Peng-Fei Zhang, Zi Huang, Xin-Shun Xu, Guangdong Bai

IEEE Trans. Multim., 2024

AgrAmplifier: Defending Federated Learning Against Poisoning Attacks Through Local Update Amplification.

Zirui Gong, Liyue Shen, Yanjun Zhang, Leo Yu Zhang, Jingwei Wang, Guangdong Bai, Yong Xiang

IEEE Trans. Inf. Forensics Secur., 2024

Investigating Documented Privacy Changes in Android OS.

Chuan Yan, Mark Huasong Meng, Fuman Xie, Guangdong Bai

Proc. ACM Softw. Eng., 2024

A Large-Scale Privacy Assessment of Android Third-Party SDKs.

Mark Huasong Meng, Chuan Yan, Yun Hao, Qing Zhang, Zeyu Wang, Kailong Wang, Sin Gee Teo, Guangdong Bai, Jin Song Dong

CoRR, 2024

Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security.

Chuan Yan, Ruomai Ren, Mark Huasong Meng, Liuhuo Wan, Tian Yang Ooi, Guangdong Bai

CoRR, 2024

Model-Enhanced LLM-Driven VUI Testing of VPA Apps.

Suwan Li, Lei Bu, Guangdong Bai, Fuman Xie, Kai Chen, Chang Yue

CoRR, 2024

PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks.

Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong

CoRR, 2024

The Devil Behind the Mirror: Tracking the Campaigns of Cryptocurrency Abuses on the Dark Web.

Pengcheng Xia, Zhou Yu, Kailong Wang, Kai Ma, Shuo Chen, Xiapu Luo, Yajin Zhou, Lei Wu, Guangdong Bai, Haoyu Wang

CoRR, 2024

MalModel: Hiding Malicious Payload in Mobile Deep Learning Models with Black-box Backdoor Attack.

Jiayi Hua, Kailong Wang, Meizhen Wang, Guangdong Bai, Xiapu Luo, Haoyu Wang

CoRR, 2024

Evasion Attack and Defense on Machine Learning Models in Cyber-Physical Systems: A Survey.

Shunyao Wang, Ryan K. L. Ko, Guangdong Bai, Naipeng Dong, Taejun Choi, Yanjun Zhang

IEEE Commun. Surv. Tutorials, 2024

Privacy-Preserving and Fairness-Aware Federated Learning for Critical Infrastructure Protection and Resilience.

Yanjun Zhang, Ruoxi Sun, Liyue Shen, Guangdong Bai, Minhui Xue, Mark Huasong Meng, Xue Li, Ryan K. L. Ko, Surya Nepal

Proceedings of the ACM on Web Conference 2024, 2024

Is It Safe to Share Your Files? An Empirical Security Analysis of Google Workspace.

Liuhuo Wan, Kailong Wang, Haoyu Wang, Guangdong Bai

Proceedings of the ACM on Web Conference 2024, 2024

Don't Bite Off More than You Can Chew: Investigating Excessive Permission Requests in Trigger-Action Integrations.

Liuhuo Wan, Kailong Wang, Kulani Mahadewa, Haoyu Wang, Guangdong Bai

Proceedings of the ACM on Web Conference 2024, 2024

Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions.

Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong

Proceedings of the IEEE International Conference on Software Analysis, 2024

Being Transparent is Merely the Beginning: Enforcing Purpose Limitation with Polynomial Approximation.

Shuofeng Liu, Zihan Wang, Minhui Xue, Long Wang, Yuanchao Zhang, Guangdong Bai

Proceedings of the 33rd USENIX Security Symposium, 2024

CORELOCKER: Neuron-level Usage Control.

Zihan Wang, Zhongkui Ma, Xinguo Feng, Ruoxi Sun, Hu Wang, Minhui Xue, Guangdong Bai

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Universal Adversarial Perturbations for Vision-Language Pre-trained Models.

Peng-Fei Zhang, Zi Huang, Guangdong Bai

Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2024

Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts.

Hao Guan, Guangdong Bai, Yepang Liu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Beyond the Horizon: Exploring Cross-Market Security Discrepancies in Parallel Android Apps.

Shishuai Yang, Guangdong Bai, Ruoyan Lin, Jialong Guo, Wenrui Diao

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Symbolic Verification of Mesh Commissioning Protocol of Thread.

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App.

Fuman Xie, Chuan Yan, Mark Huasong Meng, Shao-Ming Teng, Yanjun Zhang, Guangdong Bai

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

PANDA: Practical Adversarial Attack Against Network Intrusion Detection.

Subrat Kumar Swain, Vireshwar Kumar, Guangdong Bai, Dan Dongseong Kim

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

AuSSE: A Novel Framework for Security and Safety Evaluation for Autonomous Vehicles.

Nhung H. Nguyen, Jin-Hee Cho, Terrence J. Moore, Seunghyun Yoon, Hyuk Lim, Frederica Nelson, Guangdong Bai, Dan Dongseong Kim

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Unveiling Intellectual Property Vulnerabilities of GAN-Based Distributed Machine Learning through Model Extraction Attacks.

Mengyao Ma, Shuofeng Liu, M. A. P. Chamikara, Mohan Baruwal Chhetri, Guangdong Bai

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

Uncovering Gradient Inversion Risks in Practical Language Model Training.

Xinguo Feng, Zhongkui Ma, Zihan Wang, Eu Joe Chegne, Mengyao Ma, Alsharif Abuadbba, Guangdong Bai

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

LAMPS '24: ACM CCS Workshop on Large AI Systems and Models with Privacy and Safety Analysis.

Bo Li, Wenyuan Xu, Jieshan Chen, Yang Zhang, Minhui Xue, Shuo Wang, Guangdong Bai, Xingliang Yuan

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

GenDroid: A query-efficient black-box android adversarial attack framework.

Guangquan Xu, Hongfei Shao, Jingyi Cui, Hongpeng Bai, Jiliang Li, Guangdong Bai, Shaoying Liu, Weizhi Meng, Xi Zheng

Comput. Secur., September, 2023

Proactive Privacy-preserving Learning for Cross-modal Retrieval.

Peng-Fei Zhang, Guangdong Bai, Hongzhi Yin, Zi Huang

ACM Trans. Inf. Syst., April, 2023

Preserving Privacy for Distributed Genome-Wide Analysis Against Identity Tracing Attacks.

Yanjun Zhang, Guangdong Bai, Xue Li, Surya Nepal, Marthie Grobler, Chen Chen, Ryan K. L. Ko

IEEE Trans. Dependable Secur. Comput., 2023

Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version).

Pankaj Upadhyay, Subodh Sharma, Guangdong Bai

CoRR, 2023

AgrEvader: Poisoning Membership Inference against Byzantine-robust Federated Learning.

Yanjun Zhang, Guangdong Bai, Mahawaga Arachchige Pathum Chamikara, Mengyao Ma, Liyue Shen, Jingwei Wang, Surya Nepal, Minhui Xue, Long Wang, Joseph K. Liu

Proceedings of the ACM Web Conference 2023, 2023

Towards an Effective and Interpretable Refinement Approach for DNN Verification.

Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning.

Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers.

Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs.

Shi Meng, Liu Wang, Shenao Wang, Kailong Wang, Xusheng Xiao, Guangdong Bai, Haoyu Wang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Security Checking of Trigger-Action-Programming Smart Home Integrations.

Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization.

Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Quantitative Explainable AI For Face Recognition.

Shu Peng, Naipeng Dong, Guangdong Bai

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Supervised Robustness-preserving Data-free Neural Network Pruning.

Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

SPAT: Semantic-Preserving Adversarial Transformation for Perceptually Similar Adversarial Examples.

Subrat Kumar Swain, Vireshwar Kumar, Dan Dongseong Kim, Guangdong Bai

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

LoDen: Making Every Client in Federated Learning a Defender Against the Poisoning Membership Inference Attacks.

Mengyao Ma, Yanjun Zhang, Mahawaga Arachchige Pathum Chamikara, Leo Yu Zhang, Mohan Baruwal Chhetri, Guangdong Bai

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

Investigating Users' Understanding of Privacy Policies of Virtual Personal Assistant Applications.

Baiqi Chen, Tingmin Wu, Yanjun Zhang, Mohan Baruwal Chhetri, Guangdong Bai

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

Preserving the Privacy and Cybersecurity of Home Energy Data.

Richard Bean, Yanjun Zhang, Ryan K. L. Ko, Xinyu Mao, Guangdong Bai

Proceedings of the Emerging Trends in Cybersecurity Applications, 2023

Preserving the Privacy and Cybersecurity of Home Energy Data.

Richard Bean, Yanjun Zhang, Ryan K. L. Ko, Xinyu Mao, Guangdong Bai

Proceedings of the Emerging Trends in Cybersecurity Applications, 2023

2022

Sharing runtime permission issues for developers based on similar-app review mining.

Hongcan Gao, Chenkai Guo, Guangdong Bai, Dengrong Huang, Zhen He, Yanfeng Wu, Jing Xu

J. Syst. Softw., 2022

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.

Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong

CoRR, 2022

Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning.

Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong

CoRR, 2022

Towards Better Generalization for Neural Network-Based SAT Solvers.

Chenhao Zhang, Yanjun Zhang, Jeff Mao, Weitong Chen, Lin Yue, Guangdong Bai, Miao Xu

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022

Assessing certificate validation user interfaces of WPA supplicants.

Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong

Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022

IDEAL: High-Order-Ensemble Adaptation Network for Learning with Noisy Labels.

Peng-Fei Zhang, Zi Huang, Guangdong Bai, Xin-Shun Xu

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Machine Unlearning for Image Retrieval: A Generative Scrubbing Approach.

Peng-Fei Zhang, Guangdong Bai, Zi Huang, Xin-Shun Xu

Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 2022

Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps.

Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu, Kai Chen, Zi Huang, Guangdong Bai

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions.

Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

VITAS : Guided Model-based VUI Testing of VPA Apps.

Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen, Hanlin Wei

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

SATB: A Testbed of IoT-Based Smart Agriculture Network for Dataset Generation.

Liuhuo Wan, Yanjun Zhang, Ruiqing Li, Ryan K. L. Ko, Louw Hoffman, Guangdong Bai

Proceedings of the Advanced Data Mining and Applications - 18th International Conference, 2022

Better Together: Attaining the Triad of Byzantine-robust Federated Learning via Local Update Amplification.

Liyue Shen, Yanjun Zhang, Jingwei Wang, Guangdong Bai

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Scrutinizing Implementations of Smart Home Integrations.

Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang

IEEE Trans. Software Eng., 2021

Characterizing Cryptocurrency-themed Malicious Browser Extensions.

Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong

Proc. ACM Meas. Anal. Comput. Syst., 2021

Differentially Private Collaborative Coupling Learning for Recommender Systems.

Yanjun Zhang, Guangdong Bai, Mingyang Zhong, Xue Li, Ryan K. L. Ko

IEEE Intell. Syst., 2021

Confined Gradient Descent: Privacy-preserving Optimization for Federated Learning.

Yanjun Zhang, Guangdong Bai, Xue Li, Surya Nepal, Ryan K. L. Ko

CoRR, 2021

ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence.

Haoxi Tan, Mahin Chandramohan, Cristina Cifuentes, Guangdong Bai, Ryan K. L. Ko

CoRR, 2021

It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts.

Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong

Proceedings of the WWW '21: The Web Conference 2021, 2021

Understanding the Impact of COVID-19 on Github Developers: A Preliminary Study.

Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai, Weihang Su, Haoyu Wang

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).

Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

MoScan: a model-based vulnerability scanner for web single sign-on services.

Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Identifying privacy weaknesses from multi-party trigger-action integration platforms.

Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Privacy-Preserving Gradient Descent for Distributed Genome-Wide Analysis.

Yanjun Zhang, Guangdong Bai, Xue Li, Caitlin Curtis, Chen Chen, Ryan K. L. Ko

Proceedings of the Computer Security - ESORICS 2021, 2021

A Large-Scale Empirical Study of COVID-19 Themed GitHub Repositories.

Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai, Haoyu Wang

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

UQ-AAS21: A Comprehensive Dataset of Amazon Alexa Skills.

Fuman Xie, Yanjun Zhang, Hanlin Wei, Guangdong Bai

Proceedings of the Advanced Data Mining and Applications - 17th International Conference, 2021

2020

A blockchain-based decentralized booking system.

Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong

Knowl. Eng. Rev., 2020

Early prediction for mode anomaly in generative adversarial network training: An empirical study.

Chenkai Guo, Dengrong Huang, Jianwen Zhang, Jing Xu, Guangdong Bai, Naipeng Dong

Inf. Sci., 2020

Dilated residual networks with multi-level attention for speaker verification.

Yanfeng Wu, Chenkai Guo, Hongcan Gao, Jing Xu, Guangdong Bai

Neurocomputing, 2020

When the Open Source Community Meets COVID-19: Characterizing COVID-19 themed GitHub Repositories.

Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai, Haoyu Wang

CoRR, 2020

Autonomous Permission Recommendation.

Hongcan Gao, Chenkai Guo, Dengrong Huang, Xiaolei Hou, Yanfeng Wu, Jing Xu, Zhen He, Guangdong Bai

IEEE Access, 2020

An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems.

Taejun Choi, Guangdong Bai, Ryan K. L. Ko, Naipeng Dong, Wenlu Zhang, Shunyao Wang

Proceedings of the 19th IEEE International Conference on Trust, 2020

Foggy: A New Anonymous Communication Architecture Based on Microservices.

Hanlin Wei, Guangdong Bai, Zongwei Luo

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts.

Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

PrivColl: Practical Privacy-Preserving Collaborative Machine Learning.

Yanjun Zhang, Guangdong Bai, Xue Li, Caitlin Curtis, Chen Chen, Ryan K. L. Ko

Proceedings of the Computer Security - ESORICS 2020, 2020

Don't Fish in Troubled Waters! Characterizing Coronavirus-themed Cryptocurrency Scams.

Pengcheng Xia, Haoyu Wang, Xiapu Luo, Lei Wu, Yajin Zhou, Guangdong Bai, Guoai Xu, Gang Huang, Xuanzhe Liu

Proceedings of the APWG Symposium on Electronic Crime Research, 2020

2019

Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues.

Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin

IEEE Commun. Surv. Tutorials, 2019

DaPanda: Detecting Aggressive Push Notifications in Android Apps.

Tianming Liu, Haoyu Wang, Li Li, Guangdong Bai, Yao Guo, Guoai Xu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking.

Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang

Proceedings of the Information Security - 22nd International Conference, 2019

2018

Towards Model Checking Android Applications.

Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser

IEEE Trans. Software Eng., 2018

DroidEcho: an in-depth dissection of malicious behaviors in Android applications.

Guozhu Meng, Ruitao Feng, Guangdong Bai, Kai Chen, Yang Liu

Cybersecur., 2018

Detecting Malicious Behaviors in JavaScript Applications.

Jian Mao, Jingdong Bian, Guangdong Bai, Ruilong Wang, Yue Chen, Yinhao Xiao, Zhenkai Liang

IEEE Access, 2018

Break the dead end of dynamic slicing: localizing data and control omission bug.

Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Formal Analysis of a Proof-of-Stake Blockchain.

Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.

Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Analyzing Use of High Privileges on Android: An Empirical Case Study of Screenshot and Screen Recording Applications.

Mark Huasong Meng, Guangdong Bai, Joseph K. Liu, Xiapu Luo, Yu Wang

Proceedings of the Information Security and Cryptology - 14th International Conference, 2018

2017

TwiInsight: Discovering Topics and Sentiments from Social Media Datasets.

Zhengkui Wang, Guangdong Bai, Soumyadeb Chowdhury, Quanqing Xu, Zhi Lin Seow

CoRR, 2017

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols.

Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

A Framework for Formal Analysis of Privacy on SSO Protocols.

Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong

Proceedings of the Security and Privacy in Communication Networks, 2017

Privilege Leakage and Information Stealing through the Android Task Mechanism.

Yinhao Xiao, Guangdong Bai, Jian Mao, Zhenkai Liang, Wei Cheng

Proceedings of the IEEE Symposium on Privacy-Aware Computing, 2017

App genome: callback sequencing in Android.

Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si

Proceedings of the 39th International Conference on Software Engineering, 2017

A Verification Framework for Stateful Security Protocols.

Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2017

Secure and Efficient Software-based Attestation for Industrial Control Devices with ARM Processors.

Binbin Chen, Xinshu Dong, Guangdong Bai, Sumeet Jauhar, Yueqiang Cheng

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation.

Yaoqi Jia, Guangdong Bai, Prateek Saxena, Zhenkai Liang

Proc. Priv. Enhancing Technol., 2016

Towards Using Concurrent Java API Correctly.

Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Automatic Construction of Callback Model for Android Application.

Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Formal Analysis of a Single Sign-On Protocol Implementation for Android.

Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android.

Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Reevaluating Android Permission Gaps with Static and Dynamic Analysis.

Haoyu Wang, Yao Guo, Zihao Tang, Guangdong Bai, Xiangqun Chen

Proceedings of the 2015 IEEE Global Communications Conference, 2015

2014

Context-aware usage control for web of things.

Guangdong Bai, Lin Yan, Liang Gu, Yao Guo, Xiangqun Chen

Secur. Commun. Networks, 2014

A Light-Weight Software Environment for Confining Android Malware.

Xiaolei Li, Guangdong Bai, Benjamin Thian, Zhenkai Liang, Heng Yin

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

DroidVault: A Trusted Data Vault for Android Devices.

Xiaolei Li, Hong Hu, Guangdong Bai, Yaoqi Jia, Zhenkai Liang, Prateek Saxena

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin

Proceedings of the FM 2014: Formal Methods, 2014

2013

AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.

Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2013

A Software Environment for Confining Malicious Android Applications via Resource Virtualization.

Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Security model oriented attestation on dynamically reconfigurable component-based systems.

Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei

J. Netw. Comput. Appl., 2012

2010

Context-Aware Usage Control for Android.

Guangdong Bai, Liang Gu, Tao Feng, Yao Guo, Xiangqun Chen

Proceedings of the Security and Privacy in Communication Networks, 2010