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 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 la vérification automatique de propriétés d’équivalence de protocoles cryptographiques par des systèmes de types.