Session 7: Infrastructure Security & Malware Detection

14:00-14:30 – Autonomous Vehicle Security: Literature Review of Real Attack Experiments. By S. Bouchelaghem, A. Bouabdallah, M. Omar (SystemX & Université de Technologie de Compiègne, France ; Université de Bejaia, Algeria)

14:30-15:00 – New Dataset for Industry 4.0 to address the change in threat landscape. By S. Alem, D. Espes, E. Martin, L. Nana, F. De Lamotte (Lab-STICC, France)  

15:00-15:30 – Toward Semantic-Based Android Malware Detection Using Model Checking. By Souad El Hatib, Loïc Ricaud, Josée Desharnais and Nadia Tawbi (Laval University, Canada)

15:30 – 15:45

FAREWELL/CLOSING