Model Checking to Detect the Hummingbad Malware.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Browse the full IDC paper archive.