A Certified Reference Validation Mechanism for the Permission Model of Android.

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna

Browse the full LOPSTR paper archive.