Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning.

Souad El Hatib, Loc Ricaud, Jose Desharnais, Nadia Tawbi

Browse the full CRiSIS paper archive.