CTSYS team
Safety and Security of Embedded and Distributed Systems
CTSYS: Safety and Security of Embedded and Distributed Systems
THE RESEARCH ACTIVITIES OF THE CTSYS TEAM AIM TO IMPROVE THE SECURITY OF EMBEDDED AND DISTRIBUTED SYSTEMS.
In a world where distributed and pervasive systems are omnipresent (IoT, connected objects, smart homes, etc.), especially in critical applications (autonomous vehicles, aeronautics, medical applications, etc.) or security applications (smart cards, access control, etc.), operational safety and security are two paramount issues. To ensure the safety and security of these systems, their design must be approached comprehensively, as a flaw or vulnerability in one element can compromise the entire system.
The CTSYS team works on improving the security of embedded and distributed systems.
Nowadays, distributed and pervasive systems are ubiquitous (IoT, connected devices, smart homes, etc.). In critical applications such that autonomous vehicles, smart cards, .. safety and security are two crucial topics. To ensure reliability and security of such systems, the design itself should be studied; so that a flaw or vulnerability in a single component can compromise the entire system.
The CTSYS team gathers researchers from various disciplines (electronics, computer science, telecommunications) who study the different components of embedded systems: from hardware to software. Particular attention is paid to the interaction between hardware and software. The main topics of the team are : hardware and software security of embedded systems, as well as the safety and security of distributed and pervasive applications.
The CTSYS team participates in and leads numerous academic (at the European, French, or regional level) and industrial projects. Thales Valence, GDRF, Ingenico, STMicroelectronics, and Bosch are our main industrial partners.
Research Axes
Keywords: Vulnerability Analysis, Fault Injection, Side-Channel Attacks, Design of Protections or Detectors, Vulnerability Analysis, Security in the Compilation Chain: Languages Adapted to Architectures, Specialized Security Compilation Backend, Security-Oriented Co-Design, Energy Constraint and Eco-Design
Objectives:
One of the objectives of this theme is the development of low-cost and/or low-energy hardware security solutions (e.g., RFID tags) for non-critical systems, integrating low-cost connected objects. The solutions developed target non-expert users and are reasonably secure.
One other objective of this theme is to secure hardware from software and reciprocally secure software from hardware.
List of Contributors: L. Gonnord, V. Beroulle, V. Egloff, N. Fourty, D. Hély, Y. Kieffer, Ch. Deleuze
Project Examples:
- Improvement of security against laser attacks
- Enhancement of security for analog and mixed circuits
- Emulation and security improvement of RFID tags
- PEPR Arsene
Keywords: Security Analysis Approaches and Models, Security-by-Design Systems Design and Integration, Decentralized Security, Energy Optimization
Objectives:
One of the objectives of this theme is to consider embedded systems in their complexity and analyze their security.
Issues Studied:
- Joint analysis of safety and security, as well as compositional security analysis for autonomous vehicle applications;
- Cryptographic key management in a fully decentralized environment;
- Security-by-design for mobile applications;
- Development of a lightweight security protocol based on PUF for connected objects.
List of Contributors: O. Aktouf, S. Chollet, Ch. Deleuze, D. Hély, S. Jean, I. Parissis
CTSYS team members
Oum-el-Kheir AKTOUF
Professor
Vincent BEROULLE
LCIS director, Professor
Stéphanie CHOLLET
Associate professor
Christophe DELEUZE
Associate professor
Nicolas FOURTY
Associate professor
Laure GONNORD
CTSYS team leader, Professor
David HELY
Professor, Volunteer collaborator
Sébastien JEAN
Associate professor
Yann KIEFFER
Associate professor
Ioannis PARISSIS
Professor
Valentin EGLOFF
Associate professor
Om Essaad SLAMA
ATER
Juan Vasconcelos Lopes
PhD student
MOUAD RABIAI
PhD student
Maryam ESMAEILIAN
PhD student
Daniel THIRION
PhD student
Frédéric TRAN MINH
PhD student
Clara BOURGEAIS
PhD student
GERMAIN EGUINA
PhD student
VLADIMIR BALDITSYN
PhD student
ALEKSANDR BREDIKHIN
PhD student
The teams regularly seek and welcome new researchers and PhD students to contribute to their research.
Publications
The entire team produces and publishes numerous papers on their topics every year.
Recent Topics Addressed by CTSYS:
- Helper Data Masking for Physically Unclonable Function-based Key Generation Algorithms
- A Comprehensive Survey of Attacks without Physical Access Targeting Hardware Vulnerabilities in IoT/IIoT Devices, and Their Detection Mechanisms
- Strong PUF Enrollment with Machine Learning: A Methodical Approach
- Survey: Vulnerability Analysis of Low-Cost ECC-Based RFID Protocols against Wireless and Side-Channel Attacks
Project List
Academic Collaborations
National
- GIPSA Lab: Co-supervision of thesis.
- Laboratoire d’Informatique de Grenoble (LIG): Co-supervision of theses, BQR ARTEco project.
- ONERA Toulouse, LIG, LRI (Orsay), CEA-LIST (Saclay): ANR SIESTA project.
- INRIA: FUI Minalogic Bluesky project.
- LIRMM, ENSMSE, TIMA, ONERA Toulouse: Co-supervision of thesis, ANR LIESSE project.
- CEA-LETI: Co-supervision of thesis.
- Participation in the Maintenance Experte Fiabiliste (MEF) consortium (8 laboratories from Rhône Alpes – Auvergne; ALTéAD company): machine traceability demonstrator.
- Participation in the ISLE Cluster (Embedded Systems and Software Informatics) of the Rhône-Alpes region – EmSOC Research project then SEMBA project.
- Participation in the SEE/CIAME 18.04 working group “Intelligent Components for Automation and Measurement”.
International
- Participation in the EURNEX network of excellence (INRETS in France, FAV in Germany, IST in Portugal, etc.), aiming to gather all railway research at the European level to identify centers of excellence by sector.
- Lebanese University of Tripoli: co-supervision of thesis, CEDRE project (2012-2012).
- University of Danang (Vietnam): co-supervision of theses.
Contractual Industrial Partnerships
- Airbus: CIFRE thesis.
- MBDA (2002-2006): Development of a plug-in module in an industrial development environment (Simulink, SCADE).
- ST Microelectronics: CIFRE theses, partner in the ANR LIESSE project.
- CERTESS: support for incubation; collaboration within the framework of Y. Serrestou’s thesis.
- SPRINTE: collaboration since 2003 (partner in BGLE- ADN4SE and Artemis Arrowhead projects, incubation of DPM company (2008-2009)).
- Bull, Thales, LIG, EDF R&D: partners in the ITEA 2 OSAMI-Commons project.
- Airbus, SAGEM, TURBOMECA, ASTRIUM ST, Esterel Technologies: ANR SIESTA project.
- CROUZET, MOOTWIN, VM2M: FUI BLUESKY project.
- Nocosium, Watteco: CIFRE theses.
- Schneider Electric: research contract within the framework of the SafeRFID research project.
They Collaborated with CTSYS
Academic and Public Collaborations
Contractual Industrial Partnerships
