Recent & Upcoming Talks

2021

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Feb 8, 2021 — Feb 12, 2021 Online

2019

Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification (FR)

Jan 7, 2019 Lycée Notre-Dame-des-Missions

2018

Semantic Malware Detection by Deploying Graph Mining

May 16, 2018 École Normale Supérieure de Rennes