Formal Verification of BNB Smart Contract. - Xiaoyu Li; Cheng Su; Yan Xiong 001; Wenchao Huang 001; Wansen Wang 001 (BigCom, 2019)

SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies. - Yan Xiong 001; Cheng Su; Wenchao Huang 001; Fuyou Miao 001; Wansen Wang 001; Hengyi Ouyang (USENIX Security Symposium, 2020)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts. - Wansen Wang 001; Wenchao Huang 001; Zhaoyi Meng; Yan Xiong 001; Fuyou Miao 001; Xianjin Fang; Caichang Tu; Renjie Ji (CoRR, 2022)

SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts. - Renjie Ji; Wansen Wang 001; Yan Xiong 001; Wenchao Huang 001 (BIGCOM, 2023)

EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts. - Caichang Tu; Wansen Wang 001; Kaiwen Shi; Yan Xiong 001; Wenchao Huang 001 (BIGCOM, 2023)

Automated Inference on Financial Security of Ethereum Smart Contracts. - Wansen Wang 001; Wenchao Huang 001; Zhaoyi Meng; Yan Xiong 001; Fuyou Miao 001; Xianjin Fang; Caichang Tu; Renjie Ji (USENIX Security Symposium, 2023)

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts. - Wansen Wang 001; Pu Zhang; Renjie Ji; Wenchao Huang 001; Zhaoyi Meng; Yan Xiong 001 (CoRR, 2024)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts. - Wansen Wang 001; Caichang Tu; Zhaoyi Meng; Wenchao Huang 001; Yan Xiong 001 (CoRR, 2024)

Advancing the Automation Capability of Verifying Security Protocols. - Wansen Wang 001; Wenchao Huang 001; Zhaoyi Meng; Yan Xiong 001; Cheng Su (IEEE Trans. Dependable Secur. Comput., 2024)

Detecting Android Malware by Visualizing App Behaviors From Multiple Complementary Views. - Zhaoyi Meng; Jiale Zhang; Jiaqi Guo; Wansen Wang 001; Wenchao Huang 001; Jie Cui 004; Hong Zhong 001; Yan Xiong 001 (IEEE Trans. Inf. Forensics Secur., 2025)