Exposés

28 exposés · 2018–2026

Exposés par année

Cliquez sur une année pour filtrer
  • Conférences internationales (2)
  • Workshops internationaux (1)
  • Événements nationaux (8)
  • Séminaires (13)
  • Médiation et autres (4)

2026

  1. Événements nationauxOpacité et fuites temporellesVérification temporisée paramétrée

    Detecting Timing Leaks of Programs using Parametric Timed Model Checking

    1er Congrès des Sciences du Logiciel (SciLog 2026) — exposé invité GDR IFM · Lille, France

    SlidesArticle : [ABCFLMRS24]

  2. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Detecting Timing Leaks of Programs using Parametric Timed Model Checking

    APR Seminar · Paris, France

    SlidesArticle : [ABCFLMRS24]

2025

  1. SéminairesOpacité et fuites temporelles

    Verifying Timed Properties of Programs using Parametric Time Petri Nets

    MoVe Seminar (LIP6) · Paris, France

    Article : [ABCFLMRS24]

  2. Médiation et autres

    Présentation aux nouveaux doctorants

    Rentrée de l'École doctorale IAEM · Nancy, France

    Slides

  3. SéminairesOpacité et fuites temporelles

    Verifying Timed Properties of Programs

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

    SlidesArticle : [ABCFLMRS24]

  4. SéminairesOpacité et fuites temporelles

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

    MeFoSyLoMa · Paris, France

    SlidesArticle : [ABCFLMRS24]

  5. Médiation et autresOpacité et fuites temporellesVérification temporisée paramétrée

    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

    SlidesArticle : [Mar23]

  6. Événements nationauxOpacité et fuites temporelles

    Ensuring timed-opacity in timed systems

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

    Slides

2024

  1. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Execution-time opacity problems in (parametric) timed automata

    ICS-CoE · Palaiseau, France

    SlidesArticles : [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  2. SéminairesOpacité et fuites temporelles

    Preventing Timing Leaks using Parametric Timed Model Checking

    ARSENE project · Palaiseau, France

    Slides

  3. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Preventing timing leaks using parametric timed model checking

    ACES team seminar · Palaiseau, France

    SlidesArticles : [ALMS22] [ABLM22] [ALM23] [ALLMS23]

2023

  1. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Execution-time opacity problems in (parametric) timed automata

    MeFoSyLoMa · Palaiseau, France

    SlidesArticles : [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  2. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Preventing timing leaks using parametric timed model checking

    FADEX · Nancy, France

    SlidesArticles : [ALMS22] [ABLM22] [ALM23] [ALLMS23]

  3. Événements nationauxAnalyse de binaires et malwares

    Malaware: the beginning of a behavioral malware detection

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

    Slides

  4. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Ensuring opacity in timed systems

    MTV group meeting · Bordeaux, France

    SlidesArticles : [ALMS22] [ABLM22] [ALM23]

  5. Conférences internationalesOpacité et fuites temporellesVérification temporisée paramétrée

    Expiring opacity problems in parametric timed automata

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

    SlidesArticle : [ALM23]

  6. Workshops internationauxOpacité et fuites temporellesVérification temporisée paramétrée

    Execution-time opacity problems in (parametric) timed automata

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

    SlidesArticles : [ALMS22] [ALM23]

  7. Événements nationauxOpacité et fuites temporellesVérification temporisée paramétrée

    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

    SlidesArticles : [ALMS22] [ALM23]

2022

  1. SéminairesOpacité et fuites temporelles

    strategFTO: Untimed control for timed opacity

    LoVe Seminar · Villetaneuse, France

    SlidesArticle : [ABLM22]

  2. SéminairesOpacité et fuites temporellesVérification temporisée paramétrée

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    VeriDis Seminar · Nancy, France

    SlidesArticle : [ALMS22]

  3. Événements nationauxOpacité et fuites temporellesVérification temporisée paramétrée

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

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

    Slides PosterArticle : [ALMS22]

  4. Événements nationauxOpacité et fuites temporellesVérification temporisée paramétrée

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    Journées nationales du GDR IM · Lille, France

    PosterArticle : [ALMS22]

2021

  1. Événements nationauxAnalyse de binaires et malwares

    WannaFly: Dummy Ransomware for Red Team Exercises

    REDOCS'21 · CIRM, Luminy, France

    Slides

  2. Conférences internationalesVérification temporisée paramétrée

    A Benchmarks Library for Extended Timed Automata

    15th International Conference on Tests and Proofs · Online

    Article : [AMP21]

  3. SéminairesVérification temporisée paramétrée

    A Benchmarks Library for Extended Parametric Timed Automata

    VeriDis Seminar · Nancy, France

    SlidesArticle : [AMP21]

  4. Événements nationauxOpacité et fuites temporellesVérification temporisée paramétrée

    Guaranteeing Timed Opacity using Parametric Timed Model Checking

    Cyber In Saclay · Online

    SlidesArticle : [ALMS22]

2019

  1. Médiation et autresAnalyse de binaires et malwares

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

    Lycée Notre-Dame-des-Missions France

    SlidesArticle : [Mar18]

2018

  1. Médiation et autresAnalyse de binaires et malwares

    Semantic Malware Detection by Deploying Graph Mining

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

    Slides