MIME: A Formal Approach to (Android) Emulation Malware Analysis. - Fabio Bellini; Roberto Chiodi; Isabella Mastroeni (FPS, 2015)