Projets récents

  • 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