Login / Signup
Pasquale Battista
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Malware Detection
Reactive Systems
Alternating Time Temporal Logic
Model Checking
Top Venues
ICISSP
</>
Publications
</>
Pasquale Battista
,
Francesco Mercaldo
,
Vittoria Nardone
,
Antonella Santone
,
Corrado Aaron Visaggio
Identification of Android Malware Families with Model Checking.
ICISSP
(2016)