Towards formal model-based analysis and testing of Android's security mechanisms.

Gustavo Betarte, Juan Diego Campo, Maximiliano Cristi, Felipe Gorostiaga, Carlos Luna, Camila Sanz

Browse the full CLEI paper archive.