{"id":10,"date":"2016-01-30T08:09:05","date_gmt":"2016-01-30T07:09:05","guid":{"rendered":"http:\/\/wp-systeme.lip6.fr\/prosecco\/?page_id=10"},"modified":"2018-11-10T17:42:31","modified_gmt":"2018-11-10T16:42:31","slug":"resume-du-projet","status":"publish","type":"page","link":"https:\/\/wp-systeme.lip6.fr\/prosecco\/","title":{"rendered":"Pr\u00e9sentation du projet"},"content":{"rendered":"<div class=\"page\" title=\"Page 2\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Le projet <strong>PROSECCO<\/strong> est un projet financ\u00e9 par l&rsquo;ANR. Son nom de code est <strong>ANR-15-CE39-0008<\/strong>. Le CEA et Sorbonne-Universit\u00e9 (ex UPMC)\/LIP6 participent \u00e0 ce projet.<\/p>\n<p><strong>R\u00e9sum\u00e9 du projet :<\/strong> les composants s\u00e9curis\u00e9s sont des \u00e9l\u00e9ments clef dans les syst\u00e8mes de paiement, de protection des contenus, de transports, de t\u00e9l\u00e9phonie mobile et de par les secrets qu&rsquo;ils contiennent, doivent \u00eatre prot\u00e9g\u00e9s contre des manipulations frauduleuses appel\u00e9es \u00ab attaques physiques \u00bb. Actuellement les protections logicielles sont en grande partie ajout\u00e9es manuellement, n\u00e9cessitant expertise et temps. L&rsquo;industrie est en demande de solutions de protection automatis\u00e9es afin de r\u00e9duire les co\u00fbts de d\u00e9veloppement et de maintenance, ainsi que le temps de mise sur le march\u00e9. Le consortium de PROSECCO propose de cr\u00e9er une rupture technologique: prot\u00e9ger l&rsquo;application par l&rsquo;insertion automatique de protections dans le flot de compilation, et prouver leur bonne int\u00e9gration par v\u00e9rification formelle (i.e. v\u00e9rification de l&rsquo;\u00e9quivalence fonctionnelle de l&rsquo;application par rapport \u00e0 une version non s\u00e9curis\u00e9e et v\u00e9rification de propri\u00e9t\u00e9s s\u00e9curitaires).<\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Le projet PROSECCO est un projet financ\u00e9 par l&rsquo;ANR. Son nom de code est ANR-15-CE39-0008. Le CEA et Sorbonne-Universit\u00e9 (ex UPMC)\/LIP6 participent \u00e0 ce projet. R\u00e9sum\u00e9 du projet : les composants s\u00e9curis\u00e9s sont des \u00e9l\u00e9ments clef dans les syst\u00e8mes de paiement, de protection des contenus, de transports, de t\u00e9l\u00e9phonie mobile et de par les secrets &hellip; <a href=\"https:\/\/wp-systeme.lip6.fr\/prosecco\/\" class=\"more-link\">Continuer la lecture de <span class=\"screen-reader-text\">Pr\u00e9sentation du projet<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":9,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":3,"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":146,"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/pages\/10\/revisions\/146"}],"wp:attachment":[{"href":"https:\/\/wp-systeme.lip6.fr\/prosecco\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}