Formal Methods Project - Malware Analysis

Project Specifications

The aim of this project is to study the behavior of two different malware families for Android devices (Monokle and Bankers) through static and dynamic analysis.

Analysis Tools used

• Virus Total
• AXMLPrinter2
• Bytecode-viewer
• MobSF
• Genymotion

Contents

• Malwares APKs
• Analysis Report
• Analysis Presentation