The ACI "Jeunes Chercheurs" Sécurité informatique, protocoles cryptographiques et détection d'intrusions

General statement

The ACI "Jeunes Chercheurs" Intrusion is a project headed by Jean Goubault-Larrecq at LSV/CNRS UMR 8643 & ENS Cachan. It is meant to explore several facets of security, including cryptographic protocol verification and intrusion detection, and their relationships.

Duration is 3 years. This started in Fall 2001. Here is the initial proposal, in Postscript and in PDF of the project.

Team creation

One non-technical outcome of this ACI is the creation of the SECSI action in the new INRIA Futurs research unit, created March 2002. This is in accordance with the policy of the ACI "Jeunes Chercheurs", whose purpose is to help young researchers develop their own teams.

Current implementations and documentation