{"id":22,"date":"2015-06-15T11:01:33","date_gmt":"2015-06-15T09:01:33","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=22"},"modified":"2026-03-10T14:40:07","modified_gmt":"2026-03-10T12:40:07","slug":"projets","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/JDreier\/projets\/","title":{"rendered":"Projects"},"content":{"rendered":"<p><strong>Current:<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/pepr-cyber-svp.cnrs.fr\/\">PEPR Cybersecurity SVP<\/a><\/li>\n<li>ANR project SEVERITAS (2021-2026, local coordinator)<\/li>\n<\/ul>\n<p><strong>Old:<\/strong><\/p>\n<ul>\n<li>ANR Research and teaching chair in AI ASAP (2020-2024)<\/li>\n<li>ANR project TECAP (2018-2022)<\/li>\n<li>ERC project <a href=\"https:\/\/members.loria.fr\/skremer\/files\/spooc\/index.html\">Spooc<\/a> (2015-2020)<\/li>\n<li>ANR\/FNR project <a href=\"http:\/\/anr-sequoia.gforge.inria.fr\/\">Sequoia<\/a> (2014-2019)<\/li>\n<li>CNRS PEPS SISC project ASSI \u00ab\u00a0Analyse de S\u00e9curit\u00e9 des Syst\u00e8mes Industriels\u00a0\u00bb (2016-2017, total budget 25k Euro, participant) with <a href=\"http:\/\/sancy.univ-bpclermont.fr\/~lafourcade\/\">Pascal Lafourcade<\/a> (Coordinator) and <a href=\"http:\/\/www-verimag.imag.fr\/~potet\/\">Marie-Laure Potet<\/a><\/li>\n<li>CNRS PEPS JCJC project VESPA \u00ab\u00a0Verifying Equivalence Security in Protocols: Tools and Algorithms\u00a0\u00bb (2016, total budget 12k Euro, coordinator) with <a href=\"https:\/\/members.loria.fr\/VCheval\/\">Vincent Cheval<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Current:<\/p>\n<ul>\n<li><a href=\"https:\/\/pepr-cyber-svp.cnrs.fr\/\">PEPR Cybersecurity SVP<\/a><\/li>\n<li>ANR project SEVERITAS (2021-2026, local coordinator)<\/li>\n<\/ul>\n<p>Old:<\/p>\n<ul>\n<li>ANR Research and teaching chair in AI ASAP (2020-2024)<\/li>\n<li>ANR project TECAP (2018-2022)<\/li>\n<li>ERC project <a href=\"https:\/\/members.loria.fr\/skremer\/files\/spooc\/index.html\">Spooc<\/a> (2015-2020)<\/li>\n<li>ANR\/FNR project <a href=\"http:\/\/anr-sequoia.gforge.inria.fr\/\">Sequoia<\/a> (2014-2019)<\/li>\n<li>CNRS PEPS SISC project ASSI \u00ab\u00a0Analyse de S\u00e9curit\u00e9 des Syst\u00e8mes Industriels\u00a0\u00bb (2016-2017, total budget 25k Euro, participant) with <a href=\"http:\/\/sancy.univ-bpclermont.fr\/~lafourcade\/\">Pascal Lafourcade<\/a> (Coordinator) and <a href=\"http:\/\/www-verimag.imag.fr\/~potet\/\">Marie-Laure Potet<\/a><\/li>\n<li>CNRS PEPS JCJC project VESPA \u00ab\u00a0Verifying Equivalence Security in Protocols: Tools and Algorithms\u00a0\u00bb (2016,<\/li>\n<\/ul>\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-22","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":14,"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":419,"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/pages\/22\/revisions\/419"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/JDreier\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}