Login / Signup
Souad El Hatib
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Malware Detection
Automated Verification
Reactive Systems
Model Checking
Top Venues
CRiSIS
</>
Publications
</>
Souad El Hatib
,
Loïc Ricaud
,
Josée Desharnais
,
Nadia Tawbi
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning.
CRiSIS
(2020)