2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2024
WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
Wansen Wang, Caichang Tu, Zhaoyi Meng +2
WebAssembly (WASM) has emerged as a crucial technology in smart contract development for several blockchain platforms. Unfortunately, since their introduction, WASM smart contracts…
cs.CR2022★ 2 cited
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
Wansen Wang, Wenchao Huang, Zhaoyi Meng +5
At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely ana…