Inria
Inria.fr
Inria Channel
Latest news
© Inria / Photo Kaksonen
The Secsi project-team (a joint team with the Specification and Verification Laboratory (LSV), the French National Centre for Scientific Research (CNRS) and the ENS-Cachan) works on verifying cryptographic protocols, such as those used for e-commerce or ATMs, and installing intrusion detection tools in IT systems, so as to alert users to any potentially malicious actions. As three of its members apply for their habilitation to advise doctoral theses, we take a closer look at the research work of this team.
Scientific challenges
European partnerships
Europe
Since the centre was created, its researchers have taken part in more than 30 projects as part of the FPRD.
Our European projects
International
At international level, strong collaborations are being created through the associate teams and the joint laboratory with the University of Illinois at Urbana Champaign.
Our international collaborations
Find a team
Applied Mathematics, Computation and Simulation
Stochastic Methods and Models
Computational models and simulation
- DEFI - Shape reconstruction and identification
- POEMS - Wave propagation: mathematical analysis and simulation
Optimization, Learning and Statistical Methods
Modeling, Optimization, and Control of Dynamic Systems
Algorithmics, Programming, Software and Architecture
Programs, Verification and Proofs
- COMETE - Concurrency, Mobility and Transactions
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Proof search and reasoning with logic specifications
- SECSI - Security of information systems
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, Logic and computing
