3 papers
cs.CR2026
From Signals to Behaviors: Evidence-Based Android Malware Detection
Shiwen Song, Yiheng Xiong, Sen Chen +1
Android malware remains a persistent threat, and detecting it accurately is a long-standing open problem. Whether an app is malicious depends on what it actually does and the conte…
cs.SE2026
From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
Yiheng Xiong, Shiwen Song, Bo Ma +2
Mobile apps often suffer from functional bugs that do not cause crashes but instead manifest as incorrect behaviors under specific user interactions. Such bugs are difficult to det…
cs.CR2025
FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
Shiwen Song, Xiaofei Xie, Ruitao Feng +2
Graph-based detection methods leveraging Function Call Graphs (FCGs) have shown promise for Android malware detection (AMD) due to their semantic insights. However, the deployment…