An Entropy-based Method for Attack Detection in Large Scale Network. - Ting Liu 002; Zhiwen Wang; Haijun Wang 002; Ke Lu (Int. J. Comput. Commun. Control, 2012)

Directed test suite augmentation via exploiting program dependency. - Haijun Wang 002; Xiaohong Guan; Qinghua Zheng; Ting Liu 002; Chao Shen 001; Zijiang Yang 006 (CSTVA, 2014)

DBPD: A Dynamic Birthmark-based Software Plagiarism Detection Tool. - Zhenzhou Tian; Qinghua Zheng; Ming Fan 002; Eryue Zhuang; Haijun Wang 002; Ting Liu 002 (SEKE, 2014)

Reducing Test Cases with Causality Partitions. - Haijun Wang 002; Xiaohong Guan; Qinghua Zheng; Ting Liu 002; Xiangyang Li; Lechen Yu; Zijiang Yang 006 (SEKE, 2014)

Handedness Recognition through Keystroke-Typing Behavior in Computer Forensics Analysis. - Chao Shen 001; Haodi Xu; Haijun Wang 002; Xiaohong Guan (Trustcom/BigDataSE/ISPA, 2016)

Dependence Guided Symbolic Execution. - Haijun Wang 002; Ting Liu 002; Xiaohong Guan; Chao Shen 001; Qinghua Zheng; Zijiang Yang 006 (IEEE Trans. Software Eng., 2017)

Break the dead end of dynamic slicing: localizing data and control omission bug. - Yun Lin 001; Jun Sun 001; Lyly Tran; Guangdong Bai; Haijun Wang 002; Jin Song Dong 001 (ASE, 2018)

Vultron: catching vulnerable smart contracts once and for all. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Lei Ma 003; Yang Liu 003 (ICSE (NIER), 2019)

DiffChaser: Detecting Disagreements for Deep Neural Networks. - Xiaofei Xie; Lei Ma 003; Haijun Wang 002; Yuekang Li; Yang Liu 003; Xiaohong Li 001 (IJCAI, 2019)

Cerebro: context-aware adaptive fuzzing for effective vulnerability detection. - Yuekang Li; Yinxing Xue; Hongxu Chen 001; Xiuheng Wu; Cen Zhang; Xiaofei Xie; Haijun Wang 002; Yang Liu 003 (ESEC/SIGSOFT FSE, 2019)

Locating vulnerabilities in binaries via memory layout recovering. - Haijun Wang 002; Xiaofei Xie; Shang-Wei Lin 001; Yun Lin 001; Yuekang Li; Shengchao Qin; Yang Liu 003; Ting Liu 002 (ESEC/SIGSOFT FSE, 2019)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (CoRR, 2019)

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. - Yinxing Xue; Jiaming Ye; Mingliang Ma; Lei Ma 003; Yi Li 008; Haijun Wang 002; Yun Lin 001; Tianyong Peng; Yang Liu 003 (CoRR, 2019)

Typestate-guided fuzzer for discovering use-after-free vulnerabilities. - Haijun Wang 002; Xiaofei Xie; Yi Li 008; Cheng Wen 002; Yuekang Li; Yang Liu 003; Shengchao Qin; Hongxu Chen 001; Yulei Sui (ICSE, 2020)

MemLock: memory usage guided fuzzing. - Cheng Wen 002; Haijun Wang 002; Yuekang Li; Shengchao Qin; Yang Liu 003; Zhiwu Xu 001; Hongxu Chen 001; Xiaofei Xie; Geguang Pu; Ting Liu 002 (ICSE, 2020)

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. - Hongxu Chen 001; Shengjian Guo; Yinxing Xue; Yulei Sui; Cen Zhang; Yuekang Li; Haijun Wang 002; Yang Liu 003 (USENIX Security Symposium, 2020)

Vall-nut: Principled Anti-Grey box - Fuzzing. - Yuekang Li; Guozhu Meng; Jun Xu 024; Cen Zhang; Hongxu Chen 001; Xiaofei Xie; Haijun Wang 002; Yang Liu 003 (ISSRE, 2021)

Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (CoRR, 2021)

Explaining Regressions via Alignment Slicing and Mending. - Haijun Wang 002; Yun Lin 001; Zijiang Yang 006; Jun Sun 001; Yang Liu 003; Jin Song Dong 001; Qinghua Zheng; Ting Liu 002 (IEEE Trans. Software Eng., 2021)

Comparing One with Many - Solving Binary2source Function Matching Under Function Inlining. - Ang Jia; Ming Fan 002; Xi Xu; Wuxia Jin; Haijun Wang 002; Qiyi Tang 003; Sen Nie; Shi Wu; Ting Liu 002 (CoRR, 2022)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Ye Liu 012; Yi Li 008; Shangwei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (IEEE Trans. Dependable Secur. Comput., 2022)

When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. - Yuqiang Sun 001; Daoyuan Wu; Yue Xue; Han Liu 012; Haijun Wang 002; Zhengzi Xu; Xiaofei Xie; Yang Liu 003 (CoRR, 2023)

PatchDiscovery: Patch Presence Test for Identifying Binary Vulnerabilities Based on Key Basic Blocks. - Xi Xu; Qinghua Zheng; Zheng Yan 002; Ming Fan 002; Ang Jia; Zhaohui Zhou; Haijun Wang 002; Ting Liu 002 (IEEE Trans. Software Eng., 2023)

TokenScout: Early Detection of Ethereum Scam Tokens via Temporal Graph Learning. - Cong Wu 003; Jing Chen 003; Ziming Zhao 001; Kun He 008; Guowen Xu; Yueming Wu 001; Haijun Wang 002; Hongwei Li 001; Yang Liu 003; Yang Xiang 001 (CCS, 2024)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. - Yuqiang Sun 001; Daoyuan Wu; Yue Xue; Han Liu 012; Haijun Wang 002; Zhengzi Xu; Xiaofei Xie; Yang Liu 003 (ICSE, 2024)

Cross-Inlining Binary Function Similarity Detection. - Ang Jia; Ming Fan 002; Xi Xu; Wuxia Jin; Haijun Wang 002; Ting Liu 002 (ICSE, 2024)

ERD-CQC : Enhanced Rule and Dependency Code Quality Check for Java. - Yi Hou; Wuxia Jin; Zhijun Wang; Liuming Wang; Shuguang Chen; Yihan Wang; Lei Sang; Haijun Wang 002; Ting Liu 002 (Internetware, 2024)

LIReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behavior Replication. - Yin Wang; Ming Fan 002; Xicheng Zhang; Jifei Shi; Zhaoyu Qiu; Haijun Wang 002; Ting Liu 002 (Internetware, 2024)

Dynamic Testing for Mobile Privacy Compliance. - Jingyi Lei; Yi Wu; Nan Hu; Junjie Tao; Yin Wang; Haijun Wang 002; Ming Fan 002 (ISSRE (Workshops), 2024)

Business Compliance Detection of Smart Contracts in Electricity and Carbon Trading Scenarios. - Yin Wu; Haijun Wang 002; Yuanhui Zhang; Xitao Li; Hao Wu 100; Ming Fan 002; Ting Liu 002 (ISSRE (Workshops), 2024)

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. - Maoyi Xie; Ming Hu 003; Ziqiao Kong; Cen Zhang; Yebo Feng; Haijun Wang 002; Yue Xue; Hao Zhang 004; Ye Liu 012; Yang Liu 003 (ISSTA, 2024)

Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps. - Ming Fan 002; Jifei Shi; Yin Wang; Le Yu 002; Xicheng Zhang; Haijun Wang 002; Wuxia Jin; Ting Liu 002 (ASE, 2024)

MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs. - Yin Wang; Ming Fan 002; Hao Zhou 009; Haijun Wang 002; Wuxia Jin; Jiajia Li; Wenbo Chen; Shijie Li; Yu Zhang 030; Deqiang Han; Ting Liu 002 (ASE, 2024)

Skyeye: Detecting Imminent Attacks via Analyzing Adversarial Smart Contracts. - Haijun Wang 002; Yurui Hu; Hao Wu 100; Dijun Liu; Chenyang Peng; Yin Wu; Ming Fan 002; Ting Liu 002 (ASE, 2024)

AdvSCanner: Generating Adversarial Smart Contracts to Exploit Reentrancy Vulnerabilities Using LLM and Static Analysis. - Yin Wu; Xiaofei Xie; Chenyang Peng; Dijun Liu; Hao Wu 100; Ming Fan 002; Ting Liu 002; Haijun Wang 002 (ASE, 2024)

Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. - Han Liu 012; Daoyuan Wu; Yuqiang Sun 001; Haijun Wang 002; Kaixuan Li 002; Yang Liu 003; Yixiang Chen 001 (USENIX Security Symposium, 2024)

Strategic Chain-of-Thought: Guiding Accurate Reasoning in LLMs through Strategy Elicitation. - Yu Wang 093; Shiwan Zhao; Zhihu Wang; Heyuan Huang; Ming Fan 002; Yubo Zhang; Zhixing Wang; Haijun Wang 002; Ting Liu 002 (CoRR, 2024)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? - Kaixuan Li 002; Yue Xue; Sen Chen 001; Han Liu 012; Kairan Sun; Ming Hu 003; Haijun Wang 002; Yang Liu 003; Yixiang Chen 001 (Proc. ACM Softw. Eng., 2024)

xFuzz: Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2024)

3Erefactor: Effective, Efficient and Executable Refactoring Recommendation for Software Architectural Consistency. - Jingwen Liu; Wuxia Jin; Junhui Zhou; Qiong Feng; Ming Fan 002; Haijun Wang 002; Ting Liu 002 (IEEE Trans. Software Eng., 2024)

Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App. - Yin Wang; Ming Fan 002; Junfeng Liu 004; Junjie Tao; Wuxia Jin; Haijun Wang 002; Qi Xiong; Ting Liu 002 (IEEE Trans. Software Eng., 2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities. - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Proc. ACM Softw. Eng., 2025)

Stealthy Backdoor Attack to Real-world Models in Android Apps. - Jiali Wei; Ming Fan 002; Xicheng Zhang; Wenjing Jiao; Haijun Wang 002; Ting Liu 002 (CoRR, 2025)

Materials of "Smart Contract Fuzzing Towards Profitable Vulnerabilities". - Ziqiao Kong; Cen Zhang; Maoyi Xie; Ming Hu 003; Yue Xue; Ye Liu 012; Haijun Wang 002; Yang Liu 003 (Zenodo, 2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis. - Hao Wu 100; Haijun Wang 002; Shangwang Li; Yin Wu; Ming Fan 002; Yitao Zhao; Ting Liu 002 (CoRR, 2025)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis. - Chenyang Peng; Haijun Wang 002; Yin Wu; Hao Wu 100; Ming Fan 002; Yitao Zhao; Ting Liu 002 (CoRR, 2025)

RPHunter: Unveiling Rug Pull Schemes in Crypto Token via Code-and-Transaction Fusion Analysis. - Hao Wu 100; Haijun Wang 002; Shangwang Li; Yin Wu; Ming Fan 002; Wuxia Jin; Yitao Zhao; Ting Liu 002 (CoRR, 2025)