Résultats de Recherche :

mai 21, 2025

Détection de backdoors

ROSA, développé par le CEA-List, vise la détection de backdoors grâce à des techniques de fuzzing avancé, en particulier sur des protocoles de communications (routeurs ou composants logiciels publics de gestion réseau).

Lire la suite
mai 21, 2025

Succès de PyRAT dans une compétition de vérification formelle

Dans un contexte où fiabiliser les systèmes contenant des intelligences artificielles est devenu un enjeu majeur de sécurité, nos équipes ont conçu PyRAT, un outil de vérification formelle de réseaux de neurones.

Lire la suite
mai 21, 2025

Xanthos

Construction de logiciels système sécurisés et performants en s’appuyant notamment sur l’utilisation d’un langage sécurisé, Rust, maximisant les vérifications à la compilation.

Lire la suite
mai 21, 2025

Savoir quantifier les incertitudes dans la simulation guidée par intelligence artificielle

Les outils d’apprentissage profond probabiliste développés au CEA-List permettent la mesure quantitative de la fiabilité d’une prédiction. Cette quantification ouvre la voie aux premières solutions innovantes quant au problème que pose l’incertitude prédictive pour le déploiement de l’IA en simulation numérique.

Lire la suite
mai 21, 2025

[Startup] Arcure, la vision intelligente embarquée pour la détection de piétons

Avec sa gamme de systèmes Blaxtair®, Arcure prévient les collisions entre engins mobiles et piétons dans l’industrie et les travaux publics. Elle réalise deux tiers de son chiffre d’affaires à l’export.

Lire la suite
mai 20, 2025

1re place au challenge EvalLLM pour l’extraction d’information à partir de textes

Le CEA a remporté le challenge EvalLLM 2024, organisé par l’Agence Ministérielle de l’IA pour la Défense (AMIAD) en mai 2024, sur l’extraction d’information pour des textes en français avec une faible disponibilité de données d’entraînement.

Lire la suite
mai 20, 2025

NACRE, un jumeau numérique pour concevoir le futur pilotage du réseau électrique de RTE

Le CEA-List est engagé aux côtés de RTE pour concevoir le futur système de contrôle du réseau électrique : l’institut a ainsi conçu une plateforme de modélisation, de simulation et d’analyse selon une approche rigoureuse basée sur les modèles.

Lire la suite
mai 20, 2025

Méthodes formelles pour l’analyse de programme

Pour contribuer à la cybersécurité des systèmes, le CEA-List développe des outils d’analyse de logiciels, notamment via les plateformes Frama-C et BINSEC.

Lire la suite
mai 20, 2025

Prendre en compte les vulnérabilités micro-architecturales dans l’analyse de robustesse des systèmes sécurisés contre l’injection de fautes

Le CEA-List a développé une nouvelle méthode d’analyse pré-silicium qui a permis une première mondiale : prouver la robustesse d’un processeur et son code de démarrage face à ces attaques par injection de fautes.

Lire la suite