SECSI Research team

Security of information systems

Team presentation

The SECSI project team is a research team on security of information systems. It is organized along three directions, and their inter-relationships:
  • Verification of cryptographic protocols;
  • Intrusion detection;
  • Static analysis of programs in order to detect security faults and vulnerabilities at the protocol level.

Research themes

  • Security of cryptographic protocols: confidentiality, authentication, freshness, privacy, anonymity.
  • Tree automata, set constraints, decidable subclasses of first-order logic and encodings/approximation of parallel cryptographic processes.
  • Intrusion detection, efficient online model-checking algorithms with application to detection and reporting of composite events.
  • Static analysis, especially using abstract domains of tree automata for shape analysis and security analysis.

International and industrial relations

National projects

  • The RNTL EVA Project (automatic verification and explanation of cryptographic protocols).
  • The RNTL DICO Project (cooperative intrusion detection).

ACIs (Actions concertées incitatives)

Keywords: Security Cryptographic protocols Intrusion detection Automata Logic Static analysis

Research teams of the same theme :

Inria Headquarters and research centres

Direct links

Social