Projets de recherche financés
- ADAPT Adaptation dynamique de systèmes à composants hiérarchiques
ANR AAPG 2023
- AdDy Adaptation dynamique des robots modulaires
BFC Region and UBFC/EIPHI Graduate School - I-SITE Bourgogne Franche-Comté
PIA I-SITE BFC aims at boosting BFC research, training and innovation - Systèmes intelligents intégrés dans la matière
PIA Labex ACTION
- Access Control Policies for XML: Verification, Enforcement and Collaborative Edition
Projet ACI INRIA ACCESS
- Rewriting and Approximation for Java Applets verification
Projet ANR RAVAJ
- Trustworthy Assembling of Components: frOm requirements to Specification
Projet ANR TACOS
- Certification de programmes manipulant la mémoire
Projet ARC INRIA CEPROMI
- Composition des politiques et des services
Projet COPS ARA Sécurité, système embarqués et intelligence ambiante - PRotocoles cryptographiques: OUtils de Vérification automatique
Projet RNTL PROUVE
- Validation automatique de protocoles de sécurité sur Internet et applications
Projet AVISPA
- Security Analysis for Trusted Infrastructures and Network protocols
Projet SATIN ACI Sécurité Informatique - Spécification, raffinement, preuve et détection d'erreurs pour des applications orientées objet
Projet GECCOO, ACI Sécurité Informatique
