Android Code Protection via Obfuscation Techniques: Past, Present and Future Directions
Formalisation and analysis of Dalvik bytecode