Colluding Android Apps Detection via Model Checking.

Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Browse the full AINA paper archive.