Android Run-time Permission Exploitation User Awareness by Means of Formal Methods.

Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full ICISSP paper archive.