Benoît Pelopidas présente les résultats de recherche du programme Nuclear Knowledges sur sécurité et démocratie à l'INRIA, en octobre 2018