Research Activities

Research Projects

As PI or local PI

ProjectFundingYearsPermanent staffBudget
BINTRACE
BINary TRACEability and validationBinary and malware analysis		ANR (AAPG 2026)2027–20306440k€

As participant

ProjectRoleFundingYearsPIPermanent staffBudget
BBSYTER
Blockchain-Based SYsTem vERificationParametric timed verification		MemberANR (AAPG 2026)2026–2029Kais Klai15650k€
DefMal
Defense against malwaresBinary and malware analysis		Associate memberPEPR2022–2029
involved 2025–2029		Jean-Yves Marion
CERES
Cybersecurity Evaluation in Realistic EnvironmentS		Member (postdoc)AID2021–2025
involved 2023–2024		Grégory Blanc8
ProMiS
Provable Mitigation of Side Channel through Parametric VerificationTimed opacity and timing leaks		Member (PhD student)ANR + NRF2020–2023Étienne André + Jun Sun5276k€ (x2)

Student Supervision

PhD students

NameThesis topicYearsCo-supervisor
Pablo HardouinAutomatic extraction of TTPs from a program's binary code2026–presentYann Thierry-Mieg

Interns

NameProjectYearDurationLevel
Zélie van der MeerParameter synthesis for opacity property analysis20266 monthsgraduate
Pâris TranModeling a data cache for C program verification
Co-supervised with Emmanuelle Encrenaz		20262 monthsgraduate
Achraf AhalOpen-source toolchain for C program verification
Co-supervised with Emmanuelle Encrenaz		20263 monthsgraduate
Evan LimontaAttack scenario generation in hypergraphs20252 monthsundergraduate

Program committees and evaluations

Program Committee

Journal

  • RAIRO ITA 2026
  • RESS 2026
  • JISE 2026
  • TC 2026
  • STVR 2025

Reviewer

Artifact committee member

Steering committees

Conference organization

  • 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)

Tool and demo committee

Poster committee