Yao Zhang

According to our database, Yao Zhang authored at least 23 papers between 2016 and 2025.

Collaborative distances:

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

2025

DomFuzz: Dominator-Based Directed Gray-Box Fuzzing for ICPSs.

Guangquan Xu, Guohua Xin, Yao Zhang, Xibin Zhao, Shouling Ji, Hao Peng, Tao Luo, Limengzi Yuan

IEEE Netw., July, 2025

Understanding the Supply Chain and Risks of Large Language Model Applications.

Yujie Ma, Lili Quan, Xiaofei Xie, Qiang Hu, Jiongchi Yu, Yao Zhang, Sen Chen

CoRR, July, 2025

It Only Gets Worse: Revisiting DL-Based Vulnerability Detectors from a Practical Perspective.

Yunqian Wang, Xiaohong Li, Yao Zhang, Yuekang Li, Zhiping Zhou, Ruitao Feng

CoRR, July, 2025

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems.

Guohua Xin, Guangquan Xu, Yao Zhang, Cheng Wen, Cen Zhang, Xiaofei Xie, Neal N. Xiong, Shaoying Liu, Pan Gao

IEEE Trans. Parallel Distributed Syst., June, 2025

Unlocking User-oriented Pages: Intention-driven Black-box Scanner for Real-world Web Applications.

Weizhe Wang, Yao Zhang, Kaitai Liang, Guangquan Xu, Hongpeng Bai, Qingyang Yan, Xi Zheng, Bin Wu

CoRR, April, 2025

A Cross-Domain Data Sharing Scheme Based on Federated Blockchain.

Honglin Mao, Jie Zhang, Yao Zhang, Xiaohong Li

Proceedings of the Theoretical Aspects of Software Engineering, 2025

2023

Demystifying Performance Regressions in String Solvers.

Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li

IEEE Trans. Software Eng., March, 2023

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.

Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li

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

2022

Large-scale analysis of non-termination bugs in real-world OSS projects.

Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, Xiaohong Li

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Discovering Properties about Arrays via Path Dependence Analysis.

Qianqian Zhang, Yao Zhang, Xiao-Hong Li, Bin Wu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Inferring Loop Invariants for Multi-Path Loops.

Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Loopster++: Termination Analysis for Multi-path Linear Loop.

Hui Jin, Weimin Ge, Yao Zhang, Xiaohong Li, Zhidong Deng

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2021

Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks.

Tianyu Du, Shouling Ji, Lujia Shen, Yao Zhang, Jinfeng Li, Jie Shi, Chengfang Fang, Jianwei Yin, Raheem Beyah, Ting Wang

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

A Security-Enhanced Certificateless Aggregate Signature Authentication Protocol for InVANETs.

Guangquan Xu, Wenjuan Zhou, Arun Kumar Sangaiah, Yao Zhang, Xi Zheng, Qiang Tang, Naixue Xiong, Kaitai Liang, Xiaokang Zhou

IEEE Netw., 2020

An Empirical Study in Software Verification Tools.

Mengmeng Jiang, Xiaohong Li, Xiaofei Xie, Yao Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Fine-Grained Fashion Similarity Learning by Attribute-Specific Embedding Network.

Zhe Ma, Jianfeng Dong, Zhongzi Long, Yao Zhang, Yuan He, Hui Xue, Shouling Ji

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

CSP-E²: An abuse-free contract signing protocol with low-storage TTP for energy-efficient electronic transaction ecosystems.

Guangquan Xu, Yao Zhang, Arun Kumar Sangaiah, Xiaohong Li, Aniello Castiglione, Xi Zheng

Inf. Sci., 2019

DT-CP: A Double-TTPs-Based Contract-Signing Protocol With Lower Computational Cost.

Guangquan Xu, Yao Zhang, Litao Jiao, Emmanouil Panaousis, Kaitai Liang, Hao Wang, Xiaotong Li

IEEE Access, 2019

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, Xiaoming Li

J. Netw. Comput. Appl., 2018

A Lightweight Anonymous Mobile User Authentication Scheme for Smart Grid.

Bin Yang, Guangquan Xu, Xianjiao Zeng, Jia Liu, Yao Zhang

Proceedings of the 2018 IEEE SmartWorld, 2018

2017

HFA-MD: An Efficient Hybrid Features Analysis Based Android Malware Detection Method.

Yang Zhao, Guangquan Xu, Yao Zhang

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Systems, 2017

A Low-Storage-TTP and Abuse-Free Contract Signing Protocol Based on the Schnorr Signature.

You Zhai, Guangquan Xu, Yao Zhang

Proceedings of the International Conference on Networking and Network Applications, 2017

2016

TRM: Computing Reputation Score by Mining Reviews.

Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng

Proceedings of the Incentives and Trust in Electronic Communities, 2016