Activités de Recherche

Évaluations, Comités

Relecteur

ATVA: 2023
FASE: 2022
TASE: 2022, 2021

Membre du comité d'artéfact

FORMATS: 2025, 2023
PLDI: 2024
OOPSLA: 2025
HSCC: 2023, 2024
FASE: 2023, 2022

Organisation de conférences

Petri Nets 2025 (Tool exhibition chair)
ETAPS 2023 (Team member of the local organization committee)

Encadrement d'étudiants

Stagiaires

NomProjetAnnéeDurée
Evan LimontaGénération de scénarios d'attaque dans les hypergraphes20252 mois

Projets de recherche

AcronymeTitreRôleFinancementAnnéesPIPermanentsBudget
DefMalDéfense contre les programmes malveillantsAssociatePEPR2022–2029Jean-Yves Marion
CERESCybersecurity Evaluation in Realistic EnvironmentSMemberAID2021–2025Grégory Blanc8
ProMiSProvable Mitigation of Side Channel through Parametric VerificationMemberANR + NRF2020–2023Étienne André + Jun Sun5276k€ (x2)