Talks

28 talks · 2018–2026

Talks per year

Click a year to filter
  • International conferences (2)
  • International workshops (1)
  • National events (8)
  • Seminars (13)
  • Outreach and other (4)

2026

  1. National eventsTimed opacity and timing leaksParametric timed verification

    Detecting Timing Leaks of Programs using Parametric Timed Model Checking

    1st Software Sciences Congress (SciLog 2026) — GDR IFM invited talk · Lille, France

    SlidesPaper: [ABCFLMRS24]

  2. SeminarsTimed opacity and timing leaksParametric timed verification

    Detecting Timing Leaks of Programs using Parametric Timed Model Checking

    APR Seminar · Paris, France

    SlidesPaper: [ABCFLMRS24]

2025

  1. SeminarsTimed opacity and timing leaks

    Verifying Timed Properties of Programs using Parametric Time Petri Nets

    MoVe Seminar (LIP6) · Paris, France

    Paper: [ABCFLMRS24]

  2. Outreach and other

    Présentation aux nouveaux doctorants

    IAEM Doctoral School welcome day · Nancy, France

    Slides

  3. SeminarsTimed opacity and timing leaks

    Verifying Timed Properties of Programs

    LIP6 - Journée Annuelle du Laboratoire 2025 · Paris, France

    SlidesPaper: [ABCFLMRS24]

  4. SeminarsTimed opacity and timing leaks

    Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

    MeFoSyLoMa · Paris, France

    SlidesPaper: [ABCFLMRS24]

  5. Outreach and otherTimed opacity and timing leaksParametric timed verification

    Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty

    Assemblée Générale de l’Académie Lorraine des Sciences · Nancy, France

    SlidesPaper: [Mar23]

  6. National eventsTimed opacity and timing leaks

    Ensuring timed-opacity in timed systems

    Journée commune au CT SED et au GT AFSEC · Paris, France

    Slides

2024

  1. SeminarsTimed opacity and timing leaksParametric timed verification

    Execution-time opacity problems in (parametric) timed automata

    ICS-CoE · Palaiseau, France

    SlidesPapers: [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  2. SeminarsTimed opacity and timing leaks

    Preventing Timing Leaks using Parametric Timed Model Checking

    ARSENE project · Palaiseau, France

    Slides

  3. SeminarsTimed opacity and timing leaksParametric timed verification

    Preventing timing leaks using parametric timed model checking

    ACES team seminar · Palaiseau, France

    SlidesPapers: [ALMS22] [ABLM22] [ALM23] [ALLMS23]

2023

  1. SeminarsTimed opacity and timing leaksParametric timed verification

    Execution-time opacity problems in (parametric) timed automata

    MeFoSyLoMa · Palaiseau, France

    SlidesPapers: [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  2. SeminarsTimed opacity and timing leaksParametric timed verification

    Preventing timing leaks using parametric timed model checking

    FADEX · Nancy, France

    SlidesPapers: [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  3. National eventsBinary and malware analysis

    Malaware: the beginning of a behavioral malware detection

    Journées nationales du GDR Sécurité Informatique · Puteaux, France

    Slides

  4. SeminarsTimed opacity and timing leaksParametric timed verification

    Ensuring opacity in timed systems

    MTV group meeting · Bordeaux, France

    SlidesPapers: [ALMS22] [ABLM22] [ALM23]

  5. International conferencesTimed opacity and timing leaksParametric timed verification

    Expiring opacity problems in parametric timed automata

    27th International Conference on Engineering of Complex Computer Systems · Toulouse, France

    SlidesPaper: [ALM23]

  6. International workshopsTimed opacity and timing leaksParametric timed verification

    Execution-time opacity problems in (parametric) timed automata

    SynCoP 2023 - 8th International Workshop on Synthesis of Complex Parameters · Paris, France

    SlidesPapers: [ALMS22] [ALM23]

  7. National eventsTimed opacity and timing leaksParametric timed verification

    Execution-time opacity problems in (parametric) timed automata

    CLAP-HiFi-LVP 2023: Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS · Grenoble, France

    SlidesPapers: [ALMS22] [ALM23]

2022

  1. SeminarsTimed opacity and timing leaks

    strategFTO: Untimed control for timed opacity

    LoVe Seminar · Villetaneuse, France

    SlidesPaper: [ABLM22]

  2. SeminarsTimed opacity and timing leaksParametric timed verification

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    VeriDis Seminar · Nancy, France

    SlidesPaper: [ALMS22]

  3. National eventsTimed opacity and timing leaksParametric timed verification

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    AFADL: Approches Formelles dans l'Assistance au Développement Logiciel · Vannes, France

    Slides PosterPaper: [ALMS22]

  4. National eventsTimed opacity and timing leaksParametric timed verification

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    Journées nationales du GDR IM · Lille, France

    PosterPaper: [ALMS22]

2021

  1. National eventsBinary and malware analysis

    WannaFly: Dummy Ransomware for Red Team Exercises

    REDOCS'21 · CIRM, Luminy, France

    Slides

  2. International conferencesParametric timed verification

    A Benchmarks Library for Extended Timed Automata

    15th International Conference on Tests and Proofs · Online

    Paper: [AMP21]

  3. SeminarsParametric timed verification

    A Benchmarks Library for Extended Parametric Timed Automata

    VeriDis Seminar · Nancy, France

    SlidesPaper: [AMP21]

  4. National eventsTimed opacity and timing leaksParametric timed verification

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    Cyber In Saclay · Online

    SlidesPaper: [ALMS22]

2019

  1. Outreach and otherBinary and malware analysis

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

    Lycée Notre-Dame-des-Missions France

    SlidesPaper: [Mar18]

2018

  1. Outreach and otherBinary and malware analysis

    Semantic Malware Detection by Deploying Graph Mining

    XTRA 2018 Conference · École Normale Supérieure de Rennes France

    Slides