Activités de Recherche
Évaluations, Comités
Journal
| RESS: | 2026 |
| STVR: | 2025 |
Membre du comité d'artéfact
| FORMATS: | 2026, 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
| ICT4S 2027 (Logistics & Student volunteers chair) |
| Petri Nets 2025 (Tool exhibition chair, local organization committee member) |
| ETAPS 2023 (Team member of the local organization committee) |
Encadrement d'étudiants
Stagiaires
| Nom | Projet | Année | Durée | Niveau |
|---|---|---|---|---|
| Zélie van der Meer | Synthèse de paramètres pour l'analyse de propriétés d'opacité | 2026 | 6 mois | Master 2 |
| Pâris Tran | Modélisation d'un cache de données pour la vérification de programmes C Co-encadré avec Emmanuelle Encrenaz | 2026 | 2 mois | Master 1 |
| Achraf Ahal | Chaîne open-source pour la vérification de programmes C Co-encadré avec Emmanuelle Encrenaz | 2026 | 3 mois | Master 1 |
| Evan Limonta | Génération de scénarios d'attaque dans les hypergraphes | 2025 | 2 mois | Licence (IUT) |
Projets de recherche
Porteur/coordinateur de projets
| Acronyme | Financement | Années | Permanents | Budget |
|---|---|---|---|---|
| BINTRACE Traçabilité et Validation des Binaires | ANR (AAPG 2026) | 2027–2030 | 6 | 440k€ |
Participant à des projets
| Acronyme | Rôle | Financement | Années | PI | Permanents | Budget |
|---|---|---|---|---|---|---|
| BBSYTER Vérification de systèmes basés sur la blockchain | Member | ANR (AAPG 2026) | 2026–2029 | Kais Klai | 15 | 650k€ |
| 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) |