Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. - Souad El Hatib; Loïc Ricaud; Josée Desharnais; Nadia Tawbi (CRiSIS, 2020)