Notre activité de recherche porte sur les systèmes intégrés et embarqués, leur conception, modélisation, vérification et aussi leur sécurité. Nous concevons également des processeurs de traitement du signal numérique pour la radio dite logicielle, ainsi que les environnements associés de conception logicielle. Le groupe est hébergé par EURECOM à Sophia-Antipolis depuis 2003.
Recherche
L’équipe s’intéresse particulièrement aux sujets de recherche suivants :
- Nouvelles méthodes, techniques, langages et outils pour les systèmes intégrés et embarqués complexes. Abstraction, méthodes formelles, simulation ultra-rapide, génération de code à partir de modèles abstraits.
- Sécurité matérielle, systèmes sur puce paranoïaques avec confiance nulle dans leur environnement matériel et logiciel. Confidentialité et integrité des communications et du stockage externe.
- Processeurs de traitement du signal numérique pour la radio dite logicielle. Compromis entre flexibilité et efficacité énergétique. Environnements associés de conception logicielle, modélisation abstraite des formes d’onde et des architectures matérielles, génération automatique du logiciel de contrôle.
Membres de l’équipe
- Rabea Ameur-Boulifa, Maître de Conférences, Responsable de l’équipe
- Ludovic Apvrille, Professeur
- Sophie Coudert, Maître de Conférences
- Renaud Pacalet, Directeur d’études
- Tullio Tanzi, Professeur
Mots-clés
Exploration d’architecture
Vérification formelle
Ingénierie des modèles
Sécurité des circuits électronique
Architecture logicielle / matérielle pour les applications de traitement du signal
Les publications de l’équipe
Interrogation du serveur HAL en cours...Waiting for HAL server...
Dernières actualités du LTCI
La cybersécurité et la défense à Télécom Paris
Confiance numérique — 20/10/2025Dans le cadre des Rencontres Cybersécurité & Défense IP Paris le 21/10, faisons le point sur la recherche en cours à [...]
Évaluer les risques liés aux fuites d’information
Doctorat, Confiance numérique, Enseignants-chercheurs — 17/10/2025Olivier Rioul et Julien Béguinot, doctorant, s’appuient sur les outils de la théorie [...]
Un livre pour suivre les grands progrès de l’information quantique
Enseignants-chercheurs — 10/10/2025I. Zaquine & M. Le Bellac : Information Quantique, Théorie et expériences (CNRS Éditions)
Comment les IA transforment le Web (Sciences & Avenir)
Data science & IA, Enseignants-chercheurs — 04/10/2025Fabian Suchanek : une évolution pas très vertueuse.
Souveraineté numérique française : le plan de l’Institut Montaigne
Confiance numérique, Enseignants-chercheurs — 26/09/2025Gerard Memmi : un état des lieux préoccupant et des recommandations concrètes pour [...]
Macro-menaces sur microarchitectures
Confiance numérique, Enseignants-chercheurs — 22/09/2025Maria Mushtaq, organisatrice de MIC-SEC, éclaire les évolutions et les enjeux d’une discipline en pleine mutation [...]
La lettre Ideas : Écologie et finance – IA pour l'imagerie médicale
— 12/09/2025Finance et risque climatique ; Risque de perte de biodiversité – IA pour la mammographie 3D ; Visualisation du [...]
Les IA peuvent-elles lutter contre l'évasion fiscale ?
Data science & IA, Enseignants-chercheurs — 12/09/2025Nils Holzenberger sur France Culture : l'IA pourrait aider à déceler les failles du droit fiscal [...]
Une BD sur la 5G et les télécoms!
Enseignants-chercheurs, Systèmes et réseaux de communication — 09/09/2025Venue de 2004, Jenny découvre avec effarement que les tél. mobiles ont bien évolué depuis 20 ans ! [...]
Quand l’IA met des mots sur le vivant (I'MTech)
Data science & IA, Enseignants-chercheurs — 04/09/2025Jhony Giraldo associe images et langage pour concevoir des IA capables de s’adapter à la complexité [...]
Prochains événements de LabSoc
- Pas d’évènements prévus actuellement.No events currently scheduled.
