Joseph Lallemand

Publications

I am currently a post-doc at ETH Zürich in David Basin’s group, where
I am working on relating protocol verification in Tamarin and code verification.

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.

Prix

  • Distinguished Paper Award, IEEE CSF 2020, pour l’article Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
  • Accessit du prix de thèse 2020 du GdR Sécurité Informatique.