Wansen Wang

According to our database, Wansen Wang authored at least 18 papers between 2004 and 2024.

Collaborative distances:

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

2024

Advancing the Automation Capability of Verifying Security Protocols.

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.

Wansen Wang, Caichang Tu, Zhaoyi Meng, Wenchao Huang, Yan Xiong

CoRR, 2024

JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts.

Wansen Wang, Pu Zhang, Renjie Ji, Wenchao Huang, Zhaoyi Meng, Yan Xiong

CoRR, 2024

Detecting Android Malware by Visualizing App Behaviors from Multiple Complementary Views.

Zhaoyi Meng, Jiale Zhang, Jiaqi Guo, Wansen Wang, Wenchao Huang, Jie Cui, Hong Zhong, Yan Xiong

CoRR, 2024

2023

Automated Inference on Financial Security of Ethereum Smart Contracts.

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.

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.

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.

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.

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.

Xiaoyu Li, Cheng Su, Yan Xiong, Wenchao Huang, Wansen Wang

Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

2014

Lattice-valued interval soft sets - A general frame of many soft set models.

Xiaohong Zhang, Wansen Wang

J. Intell. Fuzzy Syst., 2014

2013

Face detection based on adaboost and face contour in e-learning.

Wansen Wang, Yaya Peng

Proceedings of the Ninth International Conference on Natural Computation, 2013

2012

Case-based reasoning application in e-learning.

Wansen Wang, Yuexiao Wang, Wen Gong

Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012

Face detection based on improved AdaBoost algorithm in E-Learning.

Wansen Wang, Huifang Niu

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

Research of improved SVM model based on GA in E-learning emotion classification.

Wansen Wang, Wenlan Ding

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011

Application research of support vector machine in E-Learning for personality.

Wen Gong, Wansen Wang

Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, 2011

2008

Study of Personalized Network Tutoring System Based on Emotional-cognitive Interaction.

Manfei Qi, Ding Ma, Wansen Wang

Proceedings of the Intelligent Information Processing IV, 2008

2004

Rough Set Theory: Application in Electronic Commerce Data Mining.

Xuren Wang, Rongsheng Xu, Wansen Wang

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004