Joseph Lallemand

Publications

I am currently a post-doc at ETH Zürich in David Basin’s group.

Before that, between 2016 and 2019, I was a PhD student under the supervision of Véronique Cortier in the Pesto team.

I defended my thesis on November 8, 2019 at Loria in Nancy.
The manuscript, entitled « Electronic Voting: Definitions and Analysis Techniques », can be found
[here].

I work on formal analysis of cryptographic protocols. More precisely, I am interested in electronic voting protocols, as well as automated proofs of equivalence properties for security protocols, in particular using type systems.

Je suis actuellement post-doc à l’ETH Zürich, dans le groupe de David Basin.

Auparavant, de 2016 à 2019, j’étais doctorant sous la direction de Véronique Cortier dans l’équipe Pesto.

J’ai soutenu ma thèse le 8 novembre 2019 au Loria.
Le manuscrit, intitulé « Vote électronique : définitions et techniques d’analyse », peut être obtenu [ici].

Mes travaux portent sur l’analyse formelle de protocoles cryptographiques. Plus précisément, je m’intéresse notamment aux protocoles de vote électronique, ainsi qu’à la vérification automatique de propriétés d’équivalence de protocoles par des systèmes de types.