Quand un système d'IA produit à la fois un résultat et la preuve que ce résultat est correct, la preuve cesse d'être indépendante. Mon travail porte sur ce qui permet de garder une vérification réelle.When an AI system produces both a result and the evidence that the result is correct, the evidence stops being independent. My work is about what keeps verification real.
Depuis plusieurs années, je travaille sur la même question dans des environnements réglementés : comment rendre un système visible, contrôlable et vérifiable, quand aucune entité ne peut simplement être crue sur parole ?For several years I have worked on the same question in regulated environments: how do you make a system visible, controllable and verifiable when no entity can simply be taken at its word?
Les systèmes d'IA posent cette question de façon plus aiguë. Un agent de code peut écrire un programme, écrire ses tests, les faire passer et déclarer le résultat prêt. Un modèle génératif peut produire une image indiscernable d'une photographie. Dans les deux cas, ce qui compte est la capacité d'un tiers à vérifier, indépendamment.AI systems make this question sharper. A coding agent can write a program, write its tests, make them pass and declare the result ready. A generative model can produce an image indistinguishable from a photograph. In both cases, what matters is a third party's ability to verify, independently.
Qui vérifie le constructeur ? Séparer le plan de construction du plan de vérification, formaliser ce qui doit être démontré avant une mise en production, et laisser la décision finale à un humain, avec une incertitude résiduelle rendue explicite.Who verifies the builder? Separating the build plane from the verification plane, formalizing what must be demonstrated before release, and leaving the final decision to a human, with residual uncertainty made explicit.
À l'ère des images générées ou transformées par l'IA, placer la preuve d'intégrité là où elle survit : dans le contenu lui-même, avec une localisation des altérations et une résistance au recadrage.In an era of AI-generated and AI-edited images, placing the integrity proof where it survives: in the content itself, with tamper localization and resilience to cropping.
Zenodo (prépublication, version arXiv à venir)Zenodo (preprint, arXiv version coming soon)
IEEE ICIP 2026, atelier MMForWild, Tampere (Finlande)IEEE ICIP 2026, MMForWild workshop, Tampere (Finland)
Ces travaux s'appuient sur ma recherche doctorale à l'ÉTS sur laThis work builds on my doctoral research at ÉTS on traçabilité dirigéedirected traceability : comment imposer et vérifier des contraintes d'usage globales dans des systèmes distribués où aucune entité ne détient l'autorité complète.: how to enforce and verify global usage constraints in distributed systems where no entity holds complete authority.
Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability (IEEE Access, 2026)
Tous les travaux sur la traçabilité →All work on traceability →
Pour collaborations de recherche en AI Safety, évaluation et assurance des systèmes d'IA.For research collaborations in AI Safety, evaluation and assurance of AI systems.
Me contacterContact me