Research Activities
Program committees and evaluations
Journal
| RESS: | 2026 |
| STVR: | 2025 |
Artifact committee member
| FORMATS: | 2026, 2025, 2023 |
| PLDI: | 2024 |
| OOPSLA: | 2025 |
| HSCC: | 2023, 2024 |
| FASE: | 2023, 2022 |
Steering committee
| GT GLSec (2025 - ...) |
| Colloquium of Sorbonne University (2025 - ...) |
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) |
Student Supervision
Interns
| Name | Project | Year | Duration | Level |
|---|---|---|---|---|
| Zélie van der Meer | Parameter synthesis for opacity property analysis | 2026 | 6 months | graduate |
| Pâris Tran | Modeling a data cache for C program verification Co-supervied with Emmanuelle Encrenaz | 2026 | 2 months | graduate |
| Achraf Ahal | Open-source toolchain for C program verification Co-supervied with Emmanuelle Encrenaz | 2026 | 3 months | graduate |
| Evan Limonta | Attack scenario generation in hypergraphs | 2025 | 2 months | undergraduate |
Research Projects
Projects as PI/Coordinator
| Acronym | Funding | Years | Parmanent staff | Budget |
|---|---|---|---|---|
| BINTRACE BINary TRACEability and validation | ANR (AAPG 2026) | 2027–2030 | 6 | 440k€ |
Project participant
| Acronym | Role | Funding | Years | PI | Parmanent staff | Budget |
|---|---|---|---|---|---|---|
| BBSYTER Blockchain-Based SYsTem vERification | Member | ANR (AAPG 2026) | 2026–2029 | Kais Klai | 15 | 650k€ |
| DefMal Defense against malwares | 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) |