In this work, we introduce the notion of Revocable Publicly Verifiable Computation (RPVC), where a cheating server is revoked and may not perform future computations (thus incurring a financial penalty). We introduce a Key Distribution Center (KDC) to efficiently handle the generation and distribution of the keys required to support RPVC. The KDC is an authority over entities in the system and enables revocation. We also introduce a notion of blind verification such that results are verifiable (and hence servers can be rewarded or punished) without learning the value. We present a rigorous definitional framework, define a number of new security models and present a construction of such a scheme built upon Key-Policy Attribute-based Encryption.
Category / Keywords: cryptographic protocols / Publicly Verifiable Outsourced Computation, Key Distribution Center, Key-policy Attribute-based Encryption, Revocation Original Publication (with major differences): INSCRYPT 2014 Date: received 19 Aug 2014, last revised 15 Jan 2015 Contact author: james alderman 2011 at live rhul ac uk Available format(s): PDF | BibTeX Citation Note: This is the full version of the paper entitled "Publicly Verifiable Outsourced Computation with a Key Distribution Centre", available at http://arxiv.org/abs/1406.5720 Version: 20150115:165133 (All versions of this report) Short URL: ia.cr/2014/640 Discussion forum: Show discussion | Start new discussion