skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Identification of Android Malware Families with Model Checking

Battista, P., F. Mercaldo, V. Nardone, A. Santone, and C. Aaron Visaggio, "Identification of Android Malware Families with Model Checking", 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016), Rome, Italy, February 19-21, 2016.