{"id":13,"date":"2015-06-15T10:26:53","date_gmt":"2015-06-15T08:26:53","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=13"},"modified":"2023-07-27T16:42:45","modified_gmt":"2023-07-27T14:42:45","slug":"publications","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/EKlein\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<p>   <!DOCTYPE html PUBLIC \"-\/\/W3C\/\/DTD XHTML 1.0 Transitional\/\/EN\" \"http:\/\/www.w3.org\/TR\/xhtml1\/DTD\/xhtml1-transitional.dtd\"> <html xmlns='http:\/\/www.w3.org\/1999\/xhtml' xml:lang='fr' lang='fr'> <head> <meta name=\"robots\" content=\"noindex, nofollow\" \/> <meta http-equiv=\"content-type\" content= \"text\/html;charset=UTF-8\" \/> <meta http-equiv=\"Content-Language\" content=\"fr\" \/> <link rel=\"stylesheet\" type=\"text\/css\" href=\"..\/css\/inria.css\" \/> <link rel=\"stylesheet\" type=\"text\/css\" href=\"..\/css\/haltools.css\" \/> <link rel=\"stylesheet\" type=\"text\/css\" href=\"https:\/\/haltools.inria.fr\/\/css\/VisuCondense.css\" \/> <!-- Piwik haltools.inria.fr--> <script type=\"text\/javascript\">   var _paq = _paq || [];   _paq.push(['trackPageView']);   _paq.push(['enableLinkTracking']);   (function() {     var u=\"\/\/piwik.inria.fr\/\";     _paq.push(['setTrackerUrl', u+'piwik.php']);     _paq.push(['setSiteId', 25]);     var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];     g.type='text\/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s);   })(); <\/script> <noscript><\/p>\n<p><img decoding=\"async\" src=\"\/\/piwik.inria.fr\/piwik.php?idsite=25\" style=\"border:0;\" alt=\"\" \/><\/p>\n<p><\/noscript> <!-- End Piwik Code -->  <title>Publications HAL<\/title> <\/head> <body> <\/p>\n<div id=\"res_script\">\n<div class='ZoneTitreResultat'> <span class=\"TitreResultats\">Search Results <\/span>  \t\t\t<a href=\"\/Public\/afficheRequetePubli.php?idHal=elise-emma-klein&#038;format_export=xml&#038;langue=Anglais&#038;CB_accent_latex=oui&#038;CB_auteur=oui&#038;CB_titre=oui&#038;CB_article=oui&#038;Fen=Rech&#038;Formate=Oui&#038;css=https:\/\/haltools.inria.fr\/\/css\/VisuCondense.css\" style=\"color:red;font-size:1em;font-style: italic;\"  target=\"_top\">&#8211;> Url version d&eacute;taill&eacute;e<\/a> \t\t , \t\t\t<a href=\"\/Public\/afficheRequetePubli.php?idHal=elise-emma-klein&#038;format_export=xml&#038;langue=Anglais&#038;CB_accent_latex=oui&#038;CB_auteur=oui&#038;CB_titre=oui&#038;CB_article=oui&#038;Fen=Rech&#038;Formate=Oui&#038;css=https:\/\/haltools.inria.fr\/\/css\/VisuCondense.css&amp;Formate=Oui&amp;css=..\/css\/VisuCondense.css\" style=\"color:red;font-size:1em;font-style: italic;\"  target=\"_top\">Url version format&eacute;e<\/a> \t\t <br \/><span class='SousTitreResultats'> <b>Criteria : <\/b>idHal : \u00ab\u00a0elise-emma-klein\u00a0\u00bb<\/span> <br \/><span class='LibelleNbPubli'>Number of occurrences founded :<\/span> <span class='ValeurNbPubli'>4.<\/span><\/p>\n<\/div>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/inria.hal.science\/hal-03810102v1\" target=\"_blank\" >A comprehensive, formal and automated analysis of the EDHOC protocol<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Charlie Jacomme, Elise Klein, Steve Kremer, Ma\u00efwenn Racouchot<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>USENIX Security &rsquo;23 &#8211; 32nd USENIX Security Symposium<\/i>, Aug 2023, Anaheim, CA, United States<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-05196126v4\" target=\"_blank\" >Tamarin Unchained: Handling User-Defined AC Operators<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Jannik Dreier, Elise Klein, Steve Kremer<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\">2026<\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/theses.hal.science\/tel-05574441v1\" target=\"_blank\" >Formal Verification in Practice : Real-World Case Study and Enhanced Support for AC Operators in Tamarin<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Elise Klein<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\">Computer Science [cs]. Universit\u00e9 de Lorraine, 2025. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2025LORR0289\">&#x27E8;NNT : 2025LORR0289&#x27E9;<\/a><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-03767104v1\" target=\"_blank\" >Automatic generation of sources lemmas in TAMARIN: towards automatic proofs of security protocols<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">V\u00e9ronique Cortier, St\u00e9phanie Delaune, Jannik Dreier, Elise Klein<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>Journal of Computer Security<\/i>, 2022, 30 (4), pp.573-598. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3233\/JCS-210053\">&#x27E8;10.3233\/JCS-210053&#x27E9;<\/a><\/dd>\n<\/dl><\/div>\n<p> <\/body> <\/html> <\/p>\n","protected":false},"excerpt":{"rendered":"<p>Publications HAL Search Results &#8211;> Url version d&eacute;taill&eacute;e , Url version format&eacute;e Criteria : idHal : \u00ab\u00a0elise-emma-klein\u00a0\u00bb Number of occurrences founded : 4. titre A comprehensive, formal and automated analysis of the EDHOC protocol auteur Charlie Jacomme, Elise Klein, Steve Kremer, Ma\u00efwenn Racouchot article USENIX Security &rsquo;23 &#8211; 32nd USENIX Security Symposium, Aug 2023, Anaheim, [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-fullwidth.php","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":20,"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":248,"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/pages\/13\/revisions\/248"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/EKlein\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}