Team Phoenix

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Contracts and Grants with Industry

ACI Security COrSS

Participants : Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère.

This project, entitled ``Composition and refinement of Secure Systems'', is a collaboration between groups from the systems and formal methods community.

The goal is to study methods and tools for the development of secure and safe systems services, with a special emphasis on specification. Our contribution focuses on the development of robust telephony services using DSLs. The collaboration with researchers in formal methods aims to use tools (e.g., theorem provers) to formalize and check properties specific to the DSL and the domain of telephony.


Logo Inria