"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification.
Vittoria Nardone, Corrado Aaron Visaggio
Browse the full ICISSP paper archive.