Model Checking for Mobile Android Malware Evolution

Formal Methods in Software Engineering, ICSE, International Conference on Software Engineering

Buenos Aires, Argentina, May 27, 2017

NeCS partner: Consiglio Nazionale delle Ricerche

Authors: 
Aniello Cimitile
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Gigliola Vaglini