Ceci est mon ancienne page web, qui n’est plus à jour. La nouvelle se trouve ici.
—
This is my old (outdated) webpage. Please visit the new one here.
—
I am currently a researcher for CNRS at IRISA (Rennes, France).
I work on formal analysis of cryptographic protocols. More precisely, I am interested in electronic voting protocols, as well as automated proofs of privacy properties for security protocols.
Previously, in 2020, I was a post-doc at ETH Zürich in David Basin’s group.
I did my PhD from 2016 to 2019, 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].
—
Je suis actuellement chargé de recherche CNRS à l’IRISA (Rennes, France), dans l’équipe EMSEC.
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.
J’étais auparavant (2020) post-doc à l’ETH Zürich, dans le groupe de David Basin.
Entre 2016 et 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].
—
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.
