“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 In Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 663-672, 2017 , Porto, Portugal