Model-Checking for Android Malware Detection
Abstract elided by the publisher.
Related papers
- Pushdown Model Checking for Malware Detection TACAS 2012
- LTL Model-Checking for Malware Detection TACAS 2013
- Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper) ECOOP 2025
- Eventually Sound Points-To Analysis with Specifications ECOOP 2019
- A semantics-based approach to malware detection TOPLAS 2008
- Resilient decentralized Android application repackaging detection using logic bombs CGO 2018
- A semantics-based approach to malware detection POPL 2007
- Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis POPL 2016