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

von Hatib, Souad El
Veröffentlicht in CRiSIS (15. : 2020 : Online) Risks and security of internet and systems (2021)