Identifying Insecure Features in Android Applications using Model Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone

Browse the full ICISSP paper archive.