Section: Contracts and Grants with Industry
ACI Security COrSS
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.