Recent projects

  • Integrated Smart Systems
    PIA Labex ACTION
  • Access Control Policies for XML: Verification, Enforcement and Collaborative Edition
    ACI INRIA ACCESS Project
  • Rewriting and Approximation for Java Applets verification
    ANR RAVAJ Project
  • Trustworthy Assembling of Components: frOm requirements to Specification
    ANR TACOS Project
  • Composition of policies and services
    Project COPS ARA Security, Embedded Systems and Ambient Intelligence
  • Certification of programs manipulating memory space
    ARC INRIA CEPROMI Projet
  • Cryptographic Protocols: Automatic Verification Tools
    RNTL Project PROUVE
  • Automated Validation of Internet Security Protocols and Applications
    AVISPA Project
  • Security Analysis for Trusted Infrastructures and Network protocols
    SATIN Project, ACI Information Security
  • Specification, refinement, proof and error detection for object oriented applications
    GECCOO Project, ACI Information Security