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.


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].