Research Activities

Program committees and evaluations

Reviewer

ATVA: 2023
FASE: 2022
TASE: 2022, 2021

Artifact committee member

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

Conference organization

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

Student Supervision

Interns

NameProjectYearDuration
Evan LimontaAttack scenario generation in hypergraphs20252 mois

Research Projects

AcronymTitleRoleFundingYearsPIParmanent staffBudget
DefMalDefense against malwaresAssociatePEPR2022–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)