{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2025-11-21T15:35:41","modified_gmt":"2025-11-21T14:35:41","slug":"home","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/hopr\/","title":{"rendered":"Home"},"content":{"rendered":"<p class=\"wp-block-paragraph\">The HOPR project aims at investigating logical and semantical frameworks to reason on computation including higher-order, probabilistic and resource-bounded aspects. It explores applications to cryptography and to differential privacy.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Project ANR-24-CE48-5521-01. Start date: 1\/1\/2025. Duration: 48 months<\/p>\n\n\n\n<figure class=\"wp-block-image size-full is-resized\"><a href=\"https:\/\/project.inria.fr\/hopr\/files\/2025\/11\/ANRnew-1-300x115-1.png\"><img loading=\"lazy\" decoding=\"async\" width=\"300\" height=\"115\" src=\"https:\/\/project.inria.fr\/hopr\/files\/2025\/11\/ANRnew-1-300x115-1.png\" alt=\"\" class=\"wp-image-95\" style=\"width:135px;height:auto\" srcset=\"https:\/\/project.inria.fr\/hopr\/files\/2025\/11\/ANRnew-1-300x115-1.png 300w, https:\/\/project.inria.fr\/hopr\/files\/2025\/11\/ANRnew-1-300x115-1-150x58.png 150w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>","protected":false},"excerpt":{"rendered":"<p>The HOPR project aims at investigating logical and semantical frameworks to reason on computation including higher-order, probabilistic and resource-bounded aspects. It explores applications to cryptography and to differential privacy. Project ANR-24-CE48-5521-01. Start date: 1\/1\/2025. Duration: 48 months<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/hopr\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":2631,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/users\/2631"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":13,"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":101,"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/pages\/4\/revisions\/101"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/hopr\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}