Formalisation and analysis of Dalvik bytecode
Android permissions demystified