Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting.

Marwa Ziadia, Mohamed Mejri, Jaouhar Fattahi

Browse the full SoMeT paper archive.