Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android.

Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand Behrouz, Sam Malek

Browse the full DSN paper archive.