Pascal Lafourcade

Pascal Lafourcade Maître de conférences en sécurité informatique à 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 chercher à 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é au département Informatique de l’IUT de l’Université Clermont Auvergne. Ses domaines de recherche porte sur la sécurité informatique, la vérification formelle de protocoles cryptographiques et la cryptographie. Il s’intéresse entre autre 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.