{"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":"2024-08-05T13:55:25","modified_gmt":"2024-08-05T11:55:25","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/ADebant\/","title":{"rendered":"About me"},"content":{"rendered":"<p>Since 2022, I am a researcher (charg\u00e9 de recherche) at <a href=\"https:\/\/www.inria.fr\/fr\/centre-inria-nancy-grand-est\">Inria Nancy &#8211; Grand Est<\/a> in the <a href=\"https:\/\/team.inria.fr\/pesto\/\">Pesto team<\/a>. Before, I spent 2 years in the team as a post-doctoral researcher. I obtained my PhD under the supervision of <a href=\"http:\/\/people.irisa.fr\/Stephanie.Delaune\/\">St\u00e9phanie Delaune.<\/a> on November 17th 2020 in the <a href=\"http:\/\/www.irisa.fr\/emsec\/\"> EMSEC team<\/a> at <a href=\"http:\/\/www.irisa.fr\/\">IRISA Lab<\/a> in Rennes. Before I was student at <a href=\"http:\/\/www.ens-rennes.fr\/\">\u00c9cole normale sup\u00e9rieure de Rennes<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<h4><b>Research Interests<\/b>:<\/h4>\n<p>My research mainly focuses on the formal verification of cryptographic protocols. During my PhD I focused on distance-bounding protocols, used for instance for contact-less paiements. Since the begining of my post-doc I an interested in the design and verification of e-voting protocols. From an holistic point of view I am interested in proving the security or safety of critical systems.<\/p>\n<p>&nbsp;<\/p>\n<h4><b>Keywords<\/b>:<\/h4>\n<p>cryptographic protocols, formal verification, symbolic methods, distance-bounding protocols, e-voting protocols.<\/p>\n<p>&nbsp;<\/p>\n<h2>Main News<\/h2>\n<ul>\n<li><strong> 06\/2024 &#8211;<\/strong> with <a href=\"https:\/\/members.loria.fr\/LHirschi\/\">Lucca Hirschi <\/a> we got the <a href=\"https:\/\/www.cnil.fr\/en\/cnil-inria-2023-prize-two-french-researchers-rewarded\"> CNIL-Inria 2023 Data Protection Award <\/a>\n<li><strong>06\/2023 &#8211;<\/strong> the previous work has been a accepted at <a href=\"https:\/\/www.usenix.org\/conference\/usenixsecurity23\">Usenix Security 2023<\/a>!<\/li>\n<li><strong>01\/2023 &#8211; <\/strong>our (with Lucca Hirschi) analysis of the e-voting protocol deployed for the 2022 French legislative elections (French citizens aborad) has been accepted at <a href=\"https:\/\/rwc.iacr.org\/2023\/\"> Real World Crypto (RWC) 2023<\/a>. In this paper we present a comprehensive description of the system and different vulnerabilities that break both vote secrecy and verifiability assuming, for instance, a compromised voting server.<\/li>\n<li><strong>08\/2021 &#8211;<\/strong>\u00a0 we (V\u00e9ronique Cortier, Pierrick Gaudry and I) found a privacy attack agains the Swiss Post protocol. It&rsquo;s fixed now but <strong>we got a bounty of 40k\u20ac<\/strong>.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Since 2022, I am a researcher (charg\u00e9 de recherche) at <a href=\"https:\/\/www.inria.fr\/fr\/centre-inria-nancy-grand-est\">Inria Nancy &#8211; Grand Est<\/a> in the <a href=\"https:\/\/team.inria.fr\/pesto\/\">Pesto team<\/a>. Before, I spent 2 years in the team as a post-doctoral researcher. I obtained my PhD under the supervision of <a href=\"http:\/\/people.irisa.fr\/Stephanie.Delaune\/\">St\u00e9phanie Delaune.<\/a> on November 17th 2020 in the <a href=\"http:\/\/www.irisa.fr\/emsec\/\"> EMSEC team<\/a> at <a href=\"http:\/\/www.irisa.fr\/\">IRISA Lab<\/a> in Rennes. Before I was student at <a href=\"http:\/\/www.ens-rennes.fr\/\">\u00c9cole normale sup\u00e9rieure de Rennes<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<p>Research Interests:<\/p>\n<p>My research mainly focuses on the formal verification of cryptographic protocols. During my PhD I focused on distance-bounding protocols,<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-56","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":21,"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":430,"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/pages\/56\/revisions\/430"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/ADebant\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}