Formal Methods for Android Banking Malware Analysis and Detection.

Giacomo Iadarola Fabio Martinelli Francesco Mercaldo Antonella Santone

Published in: IoTSMS (2019)

Keyphrases

formal methods
formal analysis
detection algorithm
static analysis
malware detection
database
relational databases