Wansen Wang

14 papers A* 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
SmartScope: Smart contract vulnerability detection via heterogeneous graph embedding with local semantic enhancement.
Expert Syst. Appl.
Zhaoyi Meng, Zexin Zhang, Wansen Wang, Jie Cui, Hong Zhong
2025 J jnl
Detecting Android Malware by Visualizing App Behaviors From Multiple Complementary Views.
IEEE Trans. Inf. Forensics Secur.
Zhaoyi Meng, Jiale Zhang, Jiaqi Guo, Wansen Wang, Wenchao Huang, Jie Cui, Hong Zhong, Yan Xiong
2025 J jnl
MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection.
CoRR
Zhaoyi Meng, Fenglei Xu, Wenxiang Zhao, Wansen Wang, Wenchao Huang, Jie Cui, Hong Zhong, Yan Xiong
2025 J jnl
TreeMind: Automatically Reproducing Android Bug Reports via LLM-empowered Monte Carlo Tree Search.
CoRR
Zhengyu Chen, Zhaoyi Meng, Wenxiang Zhao, Wansen Wang, Haoyang Zhao, Jiahao Zhan, Jie Cui, Hong Zhong
2024 J jnl
Advancing the Automation Capability of Verifying Security Protocols.
IEEE Trans. Dependable Secur. Comput.
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Cheng Su
2024 J jnl
Detecting Android Malware by Visualizing App Behaviors from Multiple Complementary Views.
CoRR
Zhaoyi Meng, Jiale Zhang, Jiaqi Guo, Wansen Wang, Wenchao Huang, Jie Cui, Hong Zhong, Yan Xiong
2024 J jnl
JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts.
CoRR
Wansen Wang, Pu Zhang, Renjie Ji, Wenchao Huang, Zhaoyi Meng, Yan Xiong
2024 J jnl
WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts.
CoRR
Wansen Wang, Caichang Tu, Zhaoyi Meng, Wenchao Huang, Yan Xiong
2023 A* conf
Automated Inference on Financial Security of Ethereum Smart Contracts.
USENIX Security Symposium
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji
2023 — conf
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.
BIGCOM
Caichang Tu, Wansen Wang, Kaiwen Shi, Yan Xiong, Wenchao Huang
2023 — conf
SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts.
BIGCOM
Renjie Ji, Wansen Wang, Yan Xiong, Wenchao Huang
2022 J jnl
An Automated Analyzer for Financial Security of Ethereum Smart Contracts.
CoRR
Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji
2020 A* conf
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.
USENIX Security Symposium
Yan Xiong, Cheng Su, Wenchao Huang, Fuyou Miao, Wansen Wang, Hengyi Ouyang
2019 — conf
Formal Verification of BNB Smart Contract.
BigCom
Xiaoyu Li, Cheng Su, Yan Xiong, Wenchao Huang, Wansen Wang