Yao Zhang

31 papers A* 3C 3Misc 4Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agent Skills in the Wild: An Empirical Study of Security Vulnerabilities at Scale.
CoRR
Yi Liu, Weizhe Wang, Ruitao Feng, Yao Zhang, Guangquan Xu, Gelei Deng, Yuekang Li, Leo Zhang
2025 Misc conf
A Cross-Domain Data Sharing Scheme Based on Federated Blockchain.
TASE
Honglin Mao, Jie Zhang, Yao Zhang, Xiaohong Li
2025 J jnl
DomFuzz: Dominator-Based Directed Gray-Box Fuzzing for ICPSs.
IEEE Netw.
Guangquan Xu, Guohua Xin, Yao Zhang, Xibin Zhao, Shouling Ji, Hao Peng, Tao Luo, Limengzi Yuan
2025 J jnl
FidelityGPT: Correcting Decompilation Distortions with Retrieval Augmented Generation.
CoRR
Zhiping Zhou, Xiaohong Li, Ruitao Feng, Yao Zhang, Yuekang Li, Wenbu Feng, Yunqian Wang, Yuqing Li
2025 J jnl
IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems.
IEEE Trans. Parallel Distributed Syst.
Guohua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao
2025 C conf
It Only Gets Worse: Revisiting DL-Based Vulnerability Detectors from a Practical Perspective.
APSEC
Yunqian Wang, Xiaohong Li, Ruitao Feng, Yao Zhang, Yuekang Li, Zhiping Zhou
2025 J jnl
It Only Gets Worse: Revisiting DL-Based Vulnerability Detectors from a Practical Perspective.
CoRR
Yunqian Wang, Xiaohong Li, Yao Zhang, Yuekang Li, Zhiping Zhou, Ruitao Feng
2025 C conf
SMTPRT: Performance Regression Testing and Localization for SMT Solvers Across Multiple Logics.
APSEC
Ziyang Wang, Xiaohong Li, Lili Quan, Zhiping Zhou, Yao Zhang, Ruitao Feng
2025 J jnl
ThreatIntel-Andro: Expert-Verified Benchmarking for Robust Android Malware Research.
CoRR
Hongpeng Bai, Minhong Dong, Yao Zhang, Shunzhe Zhao, Haobo Zhang, Lingyue Li, Yude Bai, Guangquan Xu
2025 J jnl
Understanding the Supply Chain and Risks of Large Language Model Applications.
CoRR
Yujie Ma, Lili Quan, Xiaofei Xie, Qiang Hu, Jiongchi Yu, Yao Zhang, Sen Chen
2025 J jnl
Unlocking User-oriented Pages: Intention-driven Black-box Scanner for Real-world Web Applications.
CoRR
Weizhe Wang, Yao Zhang, Kaitai Liang, Guangquan Xu, Hongpeng Bai, Qingyang Yan, Xi Zheng, Bin Wu
2025 J jnl
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities.
CoRR
Weizhe Wang, Wei Ma, Qiang Hu, Yao Zhang, Jianfei Sun, Bin Wu, Yang Liu, Guangquan Xu, Lingxiao Jiang
2023 J jnl
Demystifying Performance Regressions in String Solvers.
IEEE Trans. Software Eng.
Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li
2023 A* conf
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.
ASE
Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
2023 J jnl
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.
CoRR
Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
2022 — conf
Large-scale analysis of non-termination bugs in real-world OSS projects.
ESEC/SIGSOFT FSE
Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, Xiaohong Li
2021 A* conf
Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks.
CCS
Tianyu Du, Shouling Ji, Lujia Shen, Yao Zhang, Jinfeng Li, Jie Shi, Chengfang Fang, Jianwei Yin, Raheem Beyah, Ting Wang
2021 Misc conf
Discovering Properties about Arrays via Path Dependence Analysis.
TASE
Qianqian Zhang, Yao Zhang, Xiao-Hong Li, Bin Wu
2021 Misc conf
Inferring Loop Invariants for Multi-Path Loops.
TASE
Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun
2021 — conf
Loopster++: Termination Analysis for Multi-path Linear Loop.
CollaborateCom (1)
Hui Jin, Weimin Ge, Yao Zhang, Xiaohong Li, Zhidong Deng
2020 J jnl
A Security-Enhanced Certificateless Aggregate Signature Authentication Protocol for InVANETs.
IEEE Netw.
Guangquan Xu, Wenjuan Zhou, Arun Kumar Sangaiah, Yao Zhang, Xi Zheng, Qiang Tang, Naixue Xiong, Kaitai Liang, Xiaokang Zhou
2020 Misc conf
An Empirical Study in Software Verification Tools.
TASE
Mengmeng Jiang, Xiaohong Li, Xiaofei Xie, Yao Zhang
2020 A* conf
Fine-Grained Fashion Similarity Learning by Attribute-Specific Embedding Network.
AAAI
Zhe Ma, Jianfeng Dong, Zhongzi Long, Yao Zhang, Yuan He, Hui Xue, Shouling Ji
2020 J jnl
Fine-Grained Fashion Similarity Learning by Attribute-Specific Embedding Network.
CoRR
Zhe Ma, Jianfeng Dong, Yao Zhang, Zhongzi Long, Yuan He, Hui Xue, Shouling Ji
2019 J jnl
CSP-E
Inf. Sci.
Guangquan Xu, Yao Zhang, Arun Kumar Sangaiah, Xiaohong Li, Aniello Castiglione, Xi Zheng
2019 J jnl
DT-CP: A Double-TTPs-Based Contract-Signing Protocol With Lower Computational Cost.
IEEE Access
Guangquan Xu, Yao Zhang, Litao Jiao, Emmanouil Panaousis, Kaitai Liang, Hao Wang, Xiaotong Li
2018 — conf
A Lightweight Anonymous Mobile User Authentication Scheme for Smart Grid.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Bin Yang, Guangquan Xu, Xianjiao Zeng, Jia Liu, Yao Zhang
2018 J jnl
A novel efficient MAKA protocol with desynchronization for anonymous roaming service in Global Mobility Networks.
J. Netw. Comput. Appl.
Guangquan Xu, Jia Liu, Yanrong Lu, Xianjiao Zeng, Yao Zhang, Xiaoming Li
2017 — conf
A Low-Storage-TTP and Abuse-Free Contract Signing Protocol Based on the Schnorr Signature.
NaNA
You Zhai, Guangquan Xu, Yao Zhang
2017 C conf
HFA-MD: An Efficient Hybrid Features Analysis Based Android Malware Detection Method.
QSHINE
Yang Zhao, Guangquan Xu, Yao Zhang
2016 — conf
TRM: Computing Reputation Score by Mining Reviews.
AAAI Workshop: Incentives and Trust in Electronic Communities
Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng