Loïc Ricaud

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Malware Detection

Automated Verification

Reactive Systems

Top Venues

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)