Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification.

Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson

Browse the full FM paper archive.