The “Secure Systems” team focuses on specification, design, verification and evaluation of systems, in particular safety and security of critical applications. The objective is to develop methods, techniques and tools allowing to express properties of applications and to demonstrate that these applications satisfy the expected specification. All our research falls within the general framework of formal methods and is structured around three axis : “Typing, Semantics and Proofs”, “Software Architecture and System Architecture and Product Lines” and “Verification and Evaluation of Parallel and Asynchronous Systems”.
