Explore advanced techniques for detecting logic bombs in Android applications through this IEEE conference talk. Delve into the TriggerScope system, which combines symbolic execution, path predicate reconstruction, and inter-procedural control-dependency analysis to identify triggers in mobile apps. Learn about the challenges of detecting malicious application logic and how TriggerScope overcomes limitations of existing approaches. Discover the system's effectiveness in analyzing benign apps from the Google Play Store and trigger-based malware, including the HackingTeam's RCSAndroid. Examine various types of triggers, such as time-, location-, and SMS-related, and understand how TriggerScope achieves a low false positive rate while maintaining high detection accuracy. Gain insights into the identification of previously unknown backdoors in benign apps and the implications for mobile security.
Overview
Syllabus
Introduction
Symbolic Execution
Expression Tree
PostFilter Steps
Data Sets
Results
Location Check
Remote Lock
Complex Applications
Hacking Teams
Conclusion
Taught by
IEEE Symposium on Security and Privacy