Le CEA-List, avec l’Université Grenoble Alpes, a conçu la première technique d’analyse de sécurité des logiciels simulant un attaquant puissant et passant à l’échelle. Son implantation dans BINSEC, outil du CEA-List, a été validée sur un composant de sécurité de l’ANSSI.
Lire la suite
Cobomanip, un système cobotique made in CEA-List, assure une assistance physique aux opérateurs lors de la manipulation très précise de charges importantes dans des environnements complexes.
Lire la suite
Des méthodes de spécification et de vérification formelles innovantes renforcent la confiance dans les systèmes distribués basés sur un consensus tel que les protocoles de blockchain les plus récents.
Lire la suite
La sécurité des véhicules autonomes est difficile à garantir, du fait de la grande diversité des scénarios de conduite.
Lire la suite
L’informatique requiert des outils de programmation, de vérification et d’analyse de code adaptés aux modèles de calcul sous-jacents.
Lire la suite
Une méthode innovante développée au LNHB-MD utilise l’interrogation photonique active et la spectrométrie des photoneutrons pour détecter des matériaux illicites tels que des explosifs et des stupéfiants.
Lire la suite
Destiné à favoriser un débat démocratique sain, le projet ANR BOOM « Modéliser et ouvrir les bulles d’opinion » souhaite proposer de nouveaux algorithmes de recommandations à destination des réseaux sociaux.
Lire la suite
Contrôle des puits de pétrole : la procédure complète de simulation développée par le CEA-List répond à l’enjeu critique de sécurité des personnes et de l’environnement des sociétés d’équipements pétroliers.
Lire la suite