{"id":56,"date":"2015-06-16T13:44:07","date_gmt":"2015-06-16T11:44:07","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=56"},"modified":"2021-02-24T17:59:15","modified_gmt":"2021-02-24T16:59:15","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/JLallemand\/","title":{"rendered":"Joseph Lallemand"},"content":{"rendered":"

Ceci est mon ancienne page web, qui n’est plus \u00e0 jour. La nouvelle se trouve ici<\/a>.<\/strong><\/p>\n

—<\/p>\n

This is my old (outdated) webpage. Please visit the new one here<\/a>.<\/strong><\/p>\n

—<\/p>\n

I am currently a researcher for CNRS at IRISA (Rennes, France).
\nI 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.<\/p>\n

Previously, in 2020, I was a post-doc at ETH Z\u00fcrich in David Basin’s group<\/a>.
\nI did my PhD from 2016 to 2019, under the supervision of V\u00e9ronique Cortier<\/a> in the Pesto<\/a> team.<\/p>\n

I defended my thesis on November 8, 2019 at Loria in Nancy.
\nThe manuscript, entitled \u00ab\u00a0Electronic Voting: Definitions and Analysis Techniques\u00a0\u00bb, can be found
\n[here]<\/a>.<\/p>\n

—<\/p>\n

Je suis actuellement charg\u00e9 de recherche CNRS \u00e0 l’IRISA (Rennes, France), dans l’\u00e9quipe EMSEC.
\nMes travaux portent sur l’analyse formelle de protocoles cryptographiques. Plus pr\u00e9cis\u00e9ment, je m’int\u00e9resse notamment aux protocoles de vote \u00e9lectronique, ainsi qu’\u00e0 la v\u00e9rification automatique de propri\u00e9t\u00e9s d’\u00e9quivalence de protocoles.<\/p>\n

J’\u00e9tais auparavant (2020) post-doc \u00e0 l’ETH Z\u00fcrich, dans le groupe de David Basin<\/a>.
\nEntre 2016 et 2019, j’\u00e9tais doctorant sous la direction de V\u00e9ronique Cortier<\/a> dans l’\u00e9quipe Pesto<\/a>.<\/p>\n

J’ai soutenu ma th\u00e8se le 8 novembre 2019 au Loria.
\nLe manuscrit, intitul\u00e9 \u00ab\u00a0Vote \u00e9lectronique : d\u00e9finitions et techniques d’analyse\u00a0\u00bb, peut \u00eatre obtenu [ici]<\/a>.<\/p>\n

—<\/p>\n

Prix<\/strong><\/p>\n