LEILA: formaL tool for idEntifying mobIle maLicious behAviour

Type: 
Journal
Authors: 
Gerardo Canfora
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
Corrado Aaron Visaggio
Conference: 
IEEE Transactions on Software Engineering, 2018
Date: 
Thursday, 6 September, 2018