L’institut IRFM du CEA cherche à anticiper les exigences liées aux opérations de maintenance de l’installation ITER.
Lire la suite
Pour améliorer la mesure de la radioactivité alpha, cruciale pour séparer les matières réutilisables des déchets, le CEA-List a développé un détecteur en diamant monocristallin résistant aux conditions extrêmes de son utilisation.
Lire la suite
L’informatique quantique est encore trop récente pour avoir défini un benchmark spécifique de référence, mais les recherches du CEA-List permettent d’en poser les premières briques.
Lire la suite
Renforcer la sécurité d’un système par l’analyse pre-silicium formelle de la microarchitecture de processeurs et des logiciels qu’ils exécutent avec µArchiFI
Lire la suite
Le CEA-List a conçu un agent de manipulation robotique basé sur la vision artificielle et l’apprentissage profond, capable de réagir avec précision à une instruction de haut niveau en langage naturel correspondant à une tâche de saisie.
Lire la suite
PyRAT et PARTICUL, les outils développés par le CEA-List pour faire face aux menaces qui ciblent les systèmes d’intelligence artificielle
Lire la suite
La localisation d’objets d’intérêt dans les vidéos est une tâche fondamentale dans les applications de vision par ordinateur. Pour entraîner des modèles d’IA à effectuer cette tâche avec de bonnes performances, il est nécessaire d’acquérir un grand volume de données annotées, ce qui peut constituer un frein à leur développement.
Lire la suite
ROSA, développé par le CEA-List, vise la détection de backdoors grâce à des techniques de fuzzing avancées, en particulier sur des protocoles de communications (routeurs ou composants logiciels publics de gestion réseau).
Lire la suite
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
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