5 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…
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…
AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering
Wenxiang Zhao, Juntao Wu, Zhaoyi Meng
Due to the vast array of Android applications, their multifarious functions and intricate behavioral semantics, attackers can adopt various tactics to conceal their genuine attack…
Detecting Android Malware by Visualizing App Behaviors from Multiple Complementary Views
Zhaoyi Meng, Jiale Zhang, Jiaqi Guo +5
Deep learning has emerged as a promising technology for achieving Android malware detection. To further unleash its detection potentials, software visualization can be integrated f…