| Date |
Event |
Title |
City |
|
|
| Apr 2024 |
ICS-CoE |
Execution-time opacity problems in (parametric) timed automata |
Palaiseau, France |
See paper ALMS22See paper ABLM22See paper ALM23See paper ALLMS23 |
Slides
|
| Jan 2024 |
ACES team seminar |
Preventing timing leaks using parametric timed model checking |
Palaiseau, France |
See paper ALMS22See paper ABLM22See paper ALM23See paper ALLMS23 |
Slides
|
| Nov 2023 |
MeFoSyLoMa |
Execution-time opacity problems in (parametric) timed automata |
Palaiseau, France |
See paper ALMS22See paper ABLM22See paper ALM23See paper ALLMS23 |
Slides
|
| Oct 2023 |
FADEX |
Preventing timing leaks using parametric timed model checking |
Nancy, France |
See paper ALMS22See paper ABLM22See paper ALM23See paper ALLMS23 |
Slides
|
| Jun 2023 |
Journées nationales du GDR Sécurité Informatique |
Malaware: the beginning of a behavioral malware detection |
Puteaux, France |
|
Slides
|
| Jun 2023 |
MTV group meeting |
Ensuring opacity in timed systems |
Bordeaux, France |
See paper ALMS22See paper ABLM22See paper ALM23 |
|
| Jun 2023 |
27th International Conference on Engineering of Complex Computer Systems |
Expiring opacity problems in parametric timed automata |
Toulouse, France |
See paper ALM23 |
Slides
|
| Apr 2023 |
SynCoP 2023 - 8th International Workshop on Synthesis of Complex Parameters |
Execution-time opacity problems in (parametric) timed automata |
Paris, France |
See paper ALMS22See paper ALM23 |
Slides
|
| 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
|
