Activités de Recherche
Évaluations, Comités
Membre du comité d'artéfact
| FORMATS: | 2025, 2023 |
| PLDI: | 2024 |
| OOPSLA: | 2025 |
| HSCC: | 2023, 2024 |
| FASE: | 2023, 2022 |
Steering committee
| GT GLSec (2025 - ...) |
| Colloquium of Sorbonne University (2025 - ...) |
Organisation de conférences
| Petri Nets 2025 (Tool exhibition chair) |
| ETAPS 2023 (Team member of the local organization committee) |
Encadrement d'étudiants
Stagiaires
| Nom | Projet | Année | Durée |
|---|---|---|---|
| Evan Limonta | Génération de scénarios d'attaque dans les hypergraphes | 2025 | 2 mois |
Projets de recherche
| Acronyme | Titre | Rôle | Financement | Années | PI | Permanents | Budget |
|---|---|---|---|---|---|---|---|
| DefMal | Défense contre les programmes malveillants | Associate | PEPR | 2022–2029 | Jean-Yves Marion | ||
| CERES | Cybersecurity Evaluation in Realistic EnvironmentS | Member | AID | 2021–2025 | Grégory Blanc | 8 | |
| ProMiS | Provable Mitigation of Side Channel through Parametric Verification | Member | ANR + NRF | 2020–2023 | Étienne André + Jun Sun | 5 | 276k€ (x2) |