Section: Overall Objectives

Overall Objectives

SECSI is a common project between Inria Saclay and the LSV (Laboratoire Spécification et Vérification), itself a common research unit of CNRS (UMR 8643) and the ENS (École Normale Supérieure) de Cachan.

The SECSI project is a research project on verification algorithms for information system security, with two main thrusts: verification of cryptographic protocols, intrusion detection.