Joseph Lallemand

Publications

I am a PhD student under the supervision of Véronique Cortier in the Pesto team.
I started my PhD in September 2016.
I am working 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 using type systems.

Je suis doctorant depuis septembre 2016 sous la direction de Véronique Cortier dans l’équipe Pesto.
Ma thèse porte sur l’analyse formelle de protocoles cryptographiques. Plus précisément, je m’intéresse actuellement 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.