| 2025-05-16 | MeFoSyLoMa | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets | | Slides |
| 2025-02-01 | Assemblée Générale de l’Académie Lorraine des Sciences | Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty | | Slides |
| 2025-01-30 | Journée commune au CT SED et au GT AFSEC | Ensuring timed-opacity in timed systems | | Slides |
| 2024-04-10 | ICS-CoE | Execution-time opacity problems in (parametric) timed automata | | Slides |
| 2024-03-25 | ARSENE project | Preventing Timing Leaks using Parametric Timed Model Checking | | Slides |
| 2024-01-24 | ACES team seminar | Preventing timing leaks using parametric timed model checking | | Slides |
| 2023-11-10 | MeFoSyLoMa | Execution-time opacity problems in (parametric) timed automata | | Slides |
| 2023-10-16 | FADEX | Preventing timing leaks using parametric timed model checking | | Slides |
| 2023-06-28 | Journées nationales du GDR Sécurité Informatique | Malaware: the beginning of a behavioral malware detection | | Slides |
| 2023-06-22 | MTV group meeting | Ensuring opacity in timed systems | | Slides |
| 2023-06-15 | 27th International Conference on Engineering of Complex Computer Systems | Expiring opacity problems in parametric timed automata | | Slides |
| 2023-04-22 | SynCoP 2023 - 8th International Workshop on Synthesis of Complex Parameters | Execution-time opacity problems in (parametric) timed automata | | Slides |
| 2023-03-21 | 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 | | Slides |
| 2022-11-18 | Ve Seminar | strategFTO: Untimed control for timed opacity | | Slides |
| 2022-07-07 | VeriDis Seminar | Guaranteeing Timed Opacity using Parametric Timed Model Checking | | Slides |
| 2022-06-09 | AFADL: Approches Formelles dans l'Assistance au Développement Logiciel | Guaranteeing Timed Opacity using Parametric Timed Model Checking | | Slides Poster |
| 2022-03-31 | Journées nationales du GDR IM | Guaranteeing Timed Opacity using Parametric Timed Model Checking | | Poster |
| 2021-10-25 | REDOCS'21 | WannaFly: Dummy Ransomware for Red Team Exercises | | Slides |
| 2021-06-21 | 15th International Conference on Tests and Proofs | A Benchmarks Library for Extended Timed Automata | | |
| 2021-06-11 | VeriDis Seminar | A Benchmarks Library for Extended Parametric Timed Automata | | Slides |
| 2021-02-08 | Cyber In Saclay | Guaranteeing Timed Opacity using Parametric Timed Model Checking | | Slides |
| 2019-01-07 | | Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification (FR) | | Slides |
| 2018-05-16 | XTRA 2018 Conference | Semantic Malware Detection by Deploying Graph Mining | | Slides |