个人信息Personal Information
副教授
博士生导师
硕士生导师
电子邮箱：
WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
点击次数：
发表刊物：ACM Transactions on Software Engineering and Methodology
第一作者：Wansen Wang
合写作者：Caichang Tu,Yan Xiong
通讯作者：Zhaoyi Meng,Wenchao Huang
是否译文：否
发表时间：2025-11-27