Joseph Lallemand

Publications

Je suis chargé de recherche CNRS à l'IRISA (Rennes, France), dans l'équipe SPICY (précédemment EMSEC).

Mes travaux portent sur l'utilisation des méthodes formelles pour la sécurité.
Je m’intéresse notamment à la vérification automatique de protocoles cryptographiques, en particulier de propriétés de privacy, ainsi qu'aux protocoles de vote électronique.
Je participe également au développement de Squirrel, un assistant de preuves pour les protocoles cryptographiques.

J'ai auparavant été post-doctorant à l'ETH Zürich (Suisse), dans le groupe Information Security.

J'ai soutenu ma thèse en Novembre 2019 au Loria (Nancy, France).
Le manuscrit, intitulé « Vote électronique : définitions et techniques d’analyse », est disponible [ici].