Identification of Android Malware Families with Model Checking.

Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Browse the full ICISSP paper archive.