2023-2026: ANR/DFG International Project.
2021-2024: DGAC collaborative project. PI for Inria.
2021-2023: DGAC collaborative project. PI for UR1.
2023-2026: Grant from the French _Pôle d'Excellence Cyber_. PI.
2023-2026: Bilateral collaboration with the CEA DAM. PI.
2017-2025: Inria associate team with the SWAT team at CWI. Co-PI with [Tijs van der Storm](http://homepages.cwi.nl/~storm/).
2021-2023: Inria associate team with Simula, Norway.