Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade – Cryptographie, Blockchains Logique

Pascal Lafourcade a obtenu sa thèse à l’ENS Cachan en 2006 sur la vérification automatique de protocoles cryptographique.

Puis il a fait un post-doctorat à ETH Zurich dans l’équipe de David Basin. Ensuite il a été pendant 7 ans maître de conférences à l’Université Grenoble Alpes au sein du laboratoire Verimag. Il a développé des techniques de vérification pour des primitives cryptographiques et à analyser la sécurité de nombreux protocoles (e-voting, e-auction, e-examens …). Il aussi rédigé un livre sur la logique et un livre sur la programmation fonctionnelle avec des collègues grenoblois pour des étudiants en Licence.

De 2013 à 2016 il a été titulaire de la chaire de confiance numérique de l’Université d’Auvergne au sein du LIMOS.

Il est depuis maître de conférences à l’Université Clermont Auvergne.

Il a publié de nombreux articles et livres dont un sur les architectures PKI et les communications sécurisés. En Septembre 2018, il a participé à un ouvrage intitulé les blockchains en 50 questions.

Suivez-nous :

Les commentaires sont clos.
Facebook
Facebook
RSS