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.
Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des
citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines
principaux : transition énergétique, transition numérique, technologies pour la médecine
du futur, défense et sécurité.