eprint.iacr.org will be offline for approximately an hour for routine maintenance at 11pm UTC on Tuesday, April 16. We lost some data between April 12 and April 14, and some authors have been notified that they need to resubmit their papers.

Paper 2014/640

Revocation in Publicly Verifiable Outsourced Computation

James Alderman, Christian Janson, Carlos Cid, and Jason Crampton


The combination of software-as-a-service and the increasing use of mobile devices gives rise to a considerable difference in computational power between servers and clients. Thus, there is a desire for clients to outsource the evaluation of complex functions to an external server. Servers providing such a service may be rewarded per computation, and as such have an incentive to cheat by returning garbage rather than devoting resources and time to compute a valid result. 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.

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

Available format(s)
Cryptographic protocols
Publication info
Published elsewhere. Major revision. INSCRYPT 2014
Publicly Verifiable Outsourced ComputationKey Distribution CenterKey-policy Attribute-based EncryptionRevocation
Contact author(s)
james alderman 2011 @ live rhul ac uk
2015-01-15: last of 2 revisions
2014-08-27: received
See all versions
Short URL
Creative Commons Attribution


      author = {James Alderman and Christian Janson and Carlos Cid and Jason Crampton},
      title = {Revocation in Publicly Verifiable Outsourced Computation},
      howpublished = {Cryptology ePrint Archive, Paper 2014/640},
      year = {2014},
      note = {\url{https://eprint.iacr.org/2014/640}},
      url = {https://eprint.iacr.org/2014/640}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.