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é, 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
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
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