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.)
- FUY ATELYN
- 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