Model-Checking for Android Malware Detection.

Fu Song, Tayssir Touili

Browse the full APLAS paper archive.