中国科学技术大学 huangwenchao--Home-- WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts

黄文超

Associate professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates

E-Mail:

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Paper Publications

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts

Hits:

Journal:ACM Transactions on Software Engineering and Methodology

First Author:Wansen Wang

Co-author:Caichang Tu,Yan Xiong

Correspondence Author:Zhaoyi Meng,Wenchao Huang

Translation or Not:no

Date of Publication:2025-11-27

Next One:Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1