Home

Research Topics

The team specializes in computer security, with a focus on the following themes:

  • Security and Privacy by design: e.g. formal methods applied to security, model checking, protocol proving, graph theory, …
  • Cloud and System Security
  • Privacy and security of information management systems and applications.
  • Secure distributed computing, with an approach based on the use of secure hardware.
  • Multi-disciplinary applications linked to computer security (Medical, Social, Economic, Legal, etc.)

Research Projects

  • GIRAFON
  • FUY ATELYN
  • INRIA-CAPRIS
  • IOT-CIA-DATA: IoT Confidentiality, Integrity and Availability
  • APR IR ADOPTER: Analyse de DOnnées issues de TEsts volontaiRes (cosmetics data and privacy)
  • MAMAS: Massive Anonymous Mammography Analysis and Storage