Recent & Upcoming Talks
Date | Event | Title | City | ||
---|---|---|---|---|---|
Mar 2023 | CLAP-HiFi-LVP 2023: Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS | Execution-time opacity problems in (parametric) timed automata | Grenoble, France | See paper ALMS22See paper ALM23 | Slides |
Nov 2022 | Ve Seminar | strategFTO: Untimed control for timed opacity | Villetaneuse, France | See paper ABLM22 | Slides |
Jul 2022 | VeriDis Seminar | Guaranteeing Timed Opacity using Parametric Timed Model Checking | Nancy, France | See paper ALMS22 | Slides |
Jun 2022 | AFADL: Approches Formelles dans l'Assistance au Développement Logiciel | Guaranteeing Timed Opacity using Parametric Timed Model Checking | Vannes, France | Slides Poster | |
Mar 2022 | Journées nationales du GDR IM | Guaranteeing Timed Opacity using Parametric Timed Model Checking | Lille, France | See paper ALMS22 | Poster |
Oct 2021 | REDOCS'21 | WannaFly: Dummy Ransomware for Red Team Exercises | CIRM, Luminy, France | Slides | |
Jun 2021 | 15th International Conference on Tests and Proofs | A Benchmarks Library for Extended Timed Automata | Online | See paper AMP21 | Slides |
Jun 2021 | VeriDis Seminar | A Benchmarks Library for Extended Parametric Timed Automata | Nancy, France | See paper AMP21 | Slides |
Feb 2021 | Cyber In Saclay | Guaranteeing Timed Opacity using Parametric Timed Model Checking | Online | See paper ALMS22 | Slides |
Jan 2019 | Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification (FR) | Lycée Notre-Dame-des-Missions | Slides | ||
May 2018 | XTRA 2018 Conference | Semantic Malware Detection by Deploying Graph Mining | École Normale Supérieure de Rennes | PDF Slides |