{"id":1691,"date":"2017-03-06T12:10:53","date_gmt":"2017-03-06T12:10:53","guid":{"rendered":"https:\/\/prismacloud.eu\/?p=1691"},"modified":"2018-04-03T13:14:16","modified_gmt":"2018-04-03T13:14:16","slug":"d5-8-overview-of-verifiable-computing-techniques-providing-private-and-public-verification","status":"publish","type":"post","link":"https:\/\/prismacloud.eu\/d5-8-overview-of-verifiable-computing-techniques-providing-private-and-public-verification\/","title":{"rendered":"D5.8 Overview of verifiable computing techniques providing private and public verification"},"content":{"rendered":"<div id=\"pl-1691\"  class=\"panel-layout\" ><div id=\"pg-1691-0\"  class=\"panel-grid panel-no-style\" ><div id=\"pgc-1691-0-0\"  class=\"panel-grid-cell\" ><div id=\"panel-1691-0-0-0\" class=\"so-panel widget widget_sow-editor panel-first-child panel-last-child\" data-index=\"0\" ><div\n\t\t\t\n\t\t\tclass=\"so-widget-sow-editor so-widget-sow-editor-base\"\n\t\t\t\n\t\t>\n<div class=\"siteorigin-widget-tinymce textwidget\">\n\t<p style=\"text-align: justify;\"><strong>Contributing Partners<\/strong><\/p>\n<p style=\"text-align: justify;\"><strong>TUDA<\/strong>, TUGRAZ<\/p>\n<p style=\"text-align: justify;\"><strong>Executive Summary<\/strong><\/p>\n<p style=\"text-align: justify;\">Cloud computing is an increasing trend within IT outsourcing that allows vendors to offer traditional IT facilities, such as storage and\/or computational systems, via the Internet. Clearly, such a business model brings many bene\ffits and often allows customers to increase effiency, flexibility and\/or cost efficiency. However, cloud computing also raises many (novel) security and privacy related issues. This is mainly due to the fact that cloud providers who store and process data of their tenants cannot be considered fully trustworthy or immune to attacks. Thus, a very important and relevant research question is how one can outsource data and computations to a non-trusted third party such that this party can process the data and at the same time provide guarantees that integrity and confi\fdentiality has been preserved. This question lead to a new and interesting research \ffield called veri\fable computing.<br \/>Within PRISMACLOUD, we (among others) aim at developing tools that counter problems related to integrity, authenticity, and confi\fdentiality in the context of cloud computing. In the fi\feld of verifi\fable computing, many solutions for different types of computations, e.g., described by a subset of some programming language like C, using various different approaches have been presented in recent years. Nevertheless, all existing solutions come with several trade-offs and so far it is not clear if there is a comprehensive solution that provides both the security and privacy level needed for sensitive data and the flexibility and efficiency to be used in practice. One example for such sensitive data are health and medical data of individuals as encountered within the PRISMACLOUD eHealth use-case.<br \/>Thus, the main purpose of this deliverable (D5.8) is to present the state-of-the-art in veri\ffiable computing and to analyze to what extent the constructions provide security, privacy, and effiency. This allows identifying which approaches are the most promising candidates to be adapted and potentially improved for our use cases and integrated in the toolbox developed within PRISMACLOUD.<\/p>\n<p style=\"text-align: justify;\"><strong>Full Version<\/strong>\u00a0<\/p>\n<p style=\"text-align: justify;\">Download the full version [<a href=\"https:\/\/prismacloud.eu\/wp-content\/uploads\/2016\/05\/PRISMACLOUD-D5.8-Overview-of-Verifiable-Computing-Techniques-Providing-Private-and-Public-Verification.pdf\">PDF<\/a>]<\/p>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>","protected":false},"excerpt":{"rendered":"<p>Cloud computing is an increasing trend within IT outsourcing that allows vendors to offer traditional IT facilities, such as storage and\/or computational systems, via the Internet. Clearly, such a business model brings many bene\ffits and often allows customers to increase effiency, flexibility and\/or cost efficiency. However, cloud computing also raises many (novel) security and privacy related issues. This is mainly due to the fact that cloud providers who store and process data of their tenants cannot be considered fully trustworthy or immune to attacks. Thus, a very important and relevant research question is how one can outsource data and computations to a non-trusted third party such that this party can process the data and at the same time provide guarantees that integrity and confi\fdentiality has been preserved. This question lead to a new and interesting research \ffield called veri\fable computing.<br \/>\nWithin PRISMACLOUD, we (among others) aim at developing tools that counter problems related to integrity, authenticity, and confi\fdentiality in the context of cloud computing. In the fi\feld of verifi\fable computing, many solutions for different types of computations, e.g., described by a subset of some programming language like C, using various different approaches have been presented in recent years. Nevertheless, all existing solutions come with several trade-offs and so far it is not clear if there is a comprehensive solution that provides both the security and privacy level needed for sensitive data and the flexibility and efficiency to be used in practice. One example for such sensitive data are health and medical data of individuals as encountered within the PRISMACLOUD eHealth use-case.<br \/>\nThus, the main purpose of this deliverable (D5.8) is to present the state-of-the-art in veri\ffiable computing and to analyze to what extent the constructions provide security, privacy, and effiency. This allows identifying which approaches are the most promising candidates to be adapted and potentially improved for our use cases and integrated in the toolbox developed within PRISMACLOUD.<\/p>\n","protected":false},"author":2,"featured_media":1696,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17,7],"tags":[],"_links":{"self":[{"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/posts\/1691"}],"collection":[{"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/comments?post=1691"}],"version-history":[{"count":5,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/posts\/1691\/revisions"}],"predecessor-version":[{"id":2647,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/posts\/1691\/revisions\/2647"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/media\/1696"}],"wp:attachment":[{"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/media?parent=1691"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/categories?post=1691"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prismacloud.eu\/wp-json\/wp\/v2\/tags?post=1691"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}