Pascal Lafourcade. (In)Sécurité du vote électronique

Abstract:  Le vote est un outil important pour la démocratie. Depuis plusieurs années de nombreux protocoles de vote électronique ont été développés basés sur des primitives cryptographiques avancées comme les ZKP. Quelles sont les propriétés de sécurité que ces protocoles doivent assurer ? De nombreuses techniques de vérification automatique de protocoles cryptographiques ont étés développées pour vérifier ces protocoles. Enfin, nous verrons comment la blockchain peut aider à sécuriser les protocoles de votes électroniques.

Bio : Pascal Lafourcade Maître de conférences à l’Université Clermont Auvergne et membre du LIMOS (Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes). Il a obtenu sa thèse en 2006 à l’ENS Cachan sur la vérification formelle de protocoles cryptographiques. Puis il a fait un post-doc à l’ETH Zurich avant d’obtenir un poste d’enseignant chercheur à Verimag à Grenoble en 2007. Ensuite il a été titulaire de la chaire industrielle de confiance numérique de l’Université d’Auvergne de 2013 à 2016. En  2016, il a été recruté à l’IUT de l’Université Clermont Auvergne. Ses domaines de recherche portent sur la sécurité informatique, la vérification formelle de protocoles cryptographiques et la cryptographie. Il s’intéresse aux votes électroniques, aux ventes aux enchères électronique,  aux protocoles d’examen électronique, à la Blockchain, aux PKI, aux calculs sécurisés dans le cloud, à la 5G et à la cryptanalyste de chiffrements symétriques. Il est auteur de plus de 100 articles avec plus de 120 collaborateurs dans le monde. Il a également écrit plusieurs ouvrages pédagogiques dont « architectures de sécurité pour Internet », « Les Blockchains en 50 Question » et 25 énigmes ludiques pour s’initier à la cryptographie » chez Dunod.