Research projects
- I-SITE Bourgogne Franche-Comté
PIA I-SITE BFC
- 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