We stand with Ukraine  

Wansen Wang

Orcid: 0000-0002-6892-8767

Affiliations:
  • Anhui University, School of Computer Science and Technology, Hefei, China
  • University of Science and Technology of China, Department of Computer Science and Technology, Hefei, China (PhD 2023)


According to our database1, Wansen Wang authored at least 10 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Detecting Android Malware by Visualizing App Behaviors From Multiple Complementary Views.
[BibTeX]
[DOI]
Zhaoyi Meng
,
Jiale Zhang
,
Jiaqi Guo
,
Wansen Wang
,
Wenchao Huang
,
Jie Cui
,
Hong Zhong
,
Yan Xiong
IEEE Trans. Inf. Forensics Secur., 2025

2024
Advancing the Automation Capability of Verifying Security Protocols.
[BibTeX]
[DOI]
Wansen Wang
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
,
Cheng Su
IEEE Trans. Dependable Secur. Comput., 2024

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts.
[BibTeX]
[DOI]
Wansen Wang
,
Caichang Tu
,
Zhaoyi Meng
,
Wenchao Huang
,
Yan Xiong
CoRR, 2024

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts.
[BibTeX]
[DOI]
Wansen Wang
,
Pu Zhang
,
Renjie Ji
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
CoRR, 2024

2023
Automated Inference on Financial Security of Ethereum Smart Contracts.
[BibTeX]
[DOI]
Wansen Wang
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
,
Fuyou Miao
,
Xianjin Fang
,
Caichang Tu
,
Renjie Ji
Proceedings of the 32nd USENIX Security Symposium, 2023

EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.
[BibTeX]
[DOI]
Caichang Tu
,
Wansen Wang
,
Kaiwen Shi
,
Yan Xiong
,
Wenchao Huang
Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts.
[BibTeX]
[DOI]
Renjie Ji
,
Wansen Wang
,
Yan Xiong
,
Wenchao Huang
Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts.
[BibTeX]
[DOI]
Wansen Wang
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
,
Fuyou Miao
,
Xianjin Fang
,
Caichang Tu
,
Renjie Ji
CoRR, 2022

2020
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.
[BibTeX]
[DOI]
Yan Xiong
,
Cheng Su
,
Wenchao Huang
,
Fuyou Miao
,
Wansen Wang
,
Hengyi Ouyang
Proceedings of the 29th USENIX Security Symposium, 2020

2019
Formal Verification of BNB Smart Contract.
[BibTeX]
[DOI]
Xiaoyu Li
,
Cheng Su
,
Yan Xiong
,
Wenchao Huang
,
Wansen Wang
Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019


  Loading...