TRM: Computing Reputation Score by Mining Reviews. - Guangquan Xu; Yan Cao; Yao Zhang 019; Gaoxu Zhang; Xiaohong Li 001; Zhiyong Feng 002 (AAAI Workshop: Incentives and Trust in Electronic Communities, 2016)

A Low-Storage-TTP and Abuse-Free Contract Signing Protocol Based on the Schnorr Signature. - You Zhai; Guangquan Xu; Yao Zhang 019 (NaNA, 2017)

HFA-MD: An Efficient Hybrid Features Analysis Based Android Malware Detection Method. - Yang Zhao; Guangquan Xu; Yao Zhang 019 (QSHINE, 2017)

A Lightweight Anonymous Mobile User Authentication Scheme for Smart Grid. - Bin Yang; Guangquan Xu; Xianjiao Zeng; Jia Liu; Yao Zhang 019 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A novel efficient MAKA protocol with desynchronization for anonymous roaming service in Global Mobility Networks. - Guangquan Xu; Jia Liu; Yanrong Lu; Xianjiao Zeng; Yao Zhang 019; Xiaoming Li 006 (J. Netw. Comput. Appl., 2018)

DT-CP: A Double-TTPs-Based Contract-Signing Protocol With Lower Computational Cost. - Guangquan Xu; Yao Zhang 019; Litao Jiao; Emmanouil Panaousis; Kaitai Liang; Hao Wang 003; Xiaotong Li (IEEE Access, 2019)

CSP-E2: An abuse-free contract signing protocol with low-storage TTP for energy-efficient electronic transaction ecosystems. - Guangquan Xu; Yao Zhang 019; Arun Kumar Sangaiah; Xiaohong Li 001; Aniello Castiglione; Xi Zheng 001 (Inf. Sci., 2019)

Fine-Grained Fashion Similarity Learning by Attribute-Specific Embedding Network. - Zhe Ma 002; Jianfeng Dong; Zhongzi Long; Yao Zhang 019; Yuan He 011; Hui Xue 001; Shouling Ji (AAAI, 2020)

An Empirical Study in Software Verification Tools. - Mengmeng Jiang; Xiaohong Li 001; Xiaofei Xie; Yao Zhang 019 (TASE, 2020)

A Security-Enhanced Certificateless Aggregate Signature Authentication Protocol for InVANETs. - Guangquan Xu; Wenjuan Zhou; Arun Kumar Sangaiah; Yao Zhang 019; Xi Zheng 001; Qiang Tang 005; Naixue Xiong; Kaitai Liang; Xiaokang Zhou (IEEE Netw., 2020)

Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks. - Tianyu Du; Shouling Ji; Lujia Shen; Yao Zhang 019; Jinfeng Li; Jie Shi; Chengfang Fang; Jianwei Yin; Raheem Beyah; Ting Wang 006 (CCS, 2021)

Loopster++: Termination Analysis for Multi-path Linear Loop. - Hui Jin; Weimin Ge; Yao Zhang 019; Xiaohong Li 001; Zhidong Deng (CollaborateCom (1), 2021)

Inferring Loop Invariants for Multi-Path Loops. - Yingwen Lin; Yao Zhang 019; Sen Chen 001; Fu Song; Xiaofei Xie; Xiaohong Li 001; Lintan Sun (TASE, 2021)

Discovering Properties about Arrays via Path Dependence Analysis. - Qianqian Zhang; Yao Zhang 019; Xiao-Hong Li 001; Bin Wu 002 (TASE, 2021)

Large-scale analysis of non-termination bugs in real-world OSS projects. - Xiuhan Shi; Xiaofei Xie; Yi Li 008; Yao Zhang 019; Sen Chen 001; Xiaohong Li 001 (ESEC/SIGSOFT FSE, 2022)

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. - Yao Zhang 019; Xiaofei Xie; Yi Li 008; Sen Chen 001; Cen Zhang; Xiaohong Li 001 (ASE, 2023)

Demystifying Performance Regressions in String Solvers. - Yao Zhang 019; Xiaofei Xie; Yi Li 008; Yun Lin 001; Sen Chen 001; Yang Liu 003; Xiaohong Li 001 (IEEE Trans. Software Eng., 2023)

A Cross-Domain Data Sharing Scheme Based on Federated Blockchain. - Honglin Mao; Jie Zhang 111; Yao Zhang 019; Xiaohong Li 001 (TASE, 2025)

Unlocking User-oriented Pages: Intention-driven Black-box Scanner for Real-world Web Applications. - Weizhe Wang; Yao Zhang 019; Kaitai Liang; Guangquan Xu; Hongpeng Bai; Qingyang Yan; Xi Zheng 001; Bin Wu 002 (CoRR, 2025)

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems. - Guohua Xin; Guangquan Xu; Yao Zhang 019; Cheng Wen 002; Cen Zhang; Xiaofei Xie; Neal N. Xiong; Shaoying Liu; Pan Gao (IEEE Trans. Parallel Distributed Syst., 2025)

It Only Gets Worse: Revisiting DL-Based Vulnerability Detectors from a Practical Perspective. - Yunqian Wang; Xiaohong Li 001; Yao Zhang 019; Yuekang Li; Zhiping Zhou; Ruitao Feng (CoRR, 2025)

Understanding the Supply Chain and Risks of Large Language Model Applications. - Yujie Ma; Lili Quan; Xiaofei Xie; Qiang Hu; Jiongchi Yu; Yao Zhang 019; Sen Chen 001 (CoRR, 2025)

DomFuzz: Dominator-Based Directed Gray-Box Fuzzing for ICPSs. - Guangquan Xu; Guohua Xin; Yao Zhang 019; Xibin Zhao; Shouling Ji; Hao Peng 002; Tao Luo 010; Limengzi Yuan (IEEE Netw., 2025)