Formalisation and analysis of Dalvik bytecode

Keyphrases

• Dalvik Bytecode 100%
• Reflection Feature 50%
• Android Platform 50%
• Smartphone-based 50%
• Android Market 50%
• App Markets 50%
• Bytecode Languages 50%
• Google Play 50%
• Malware 50%
• Dynamic Dispatch 50%
• Android App 50%
• Control Flow Analysis 50%

Computer Science

• Bytecode 100%
• Formalization 100%
• Android 100%
• Automated Tool 33%
• Control Flow 33%
• Malware 33%
• Control-Flow Analysis 33%