4 papers
JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts
Wansen Wang, Pu Zhang, Renjie Ji +3
Some smart contracts violate decentralization principles by defining privileged accounts that manage other users' assets without permission, introducing centralization risks that h…
MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection
Zhaoyi Meng, Fenglei Xu, Wenxiang Zhao +5
Static analysis, a fundamental technique in Android app examination, enables the extraction of control flows, data flows, and inter-component communications (ICCs), all of which ar…
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
Yiming Zhu, Wenchao Huang, Yan Xiong
Spectre v1 attacks pose a substantial threat to security-critical software, particularly cryptographic implementations. Existing software mitigations, however, often introduce exce…
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…