You are looking at a specific version 20150912:182839 of this paper. See the latest version.

Paper 2015/320

Hybrid Publicly Verifiable Computation

James Alderman and Christian Janson and Carlos Cid and Jason Crampton

Abstract

Publicly Verifiable Outsourced Computation (PVC) allows weak devices to delegate computations to more powerful servers, and to verify the correctness of results. Delegation and verification rely only on public parameters, and thus PVC lends itself to large multi-user systems where entities need not be registered. In such settings, individual user requirements may be diverse and cannot be realised with current PVC solutions. In this paper, we introduce Hybrid PVC (HPVC) which, with a single setup stage, provides a flexible solution to outsourced computation supporting multiple modes: (i) standard PVC, (ii) PVC with cryptographically enforced access control policies restricting the servers that may perform a given computation, and (iii) a reversed model of PVC which we call Verifiable Delegable Computation (VDC) where data is held remotely by servers. Entities may dynamically play the role of delegators or servers as required.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Preprint. MINOR revision.
Keywords
Publicly Verifiable ComputationOutsourced ComputationDual-Policy Attribute-based EncryptionRevocationAccess Control
Contact author(s)
Christian Janson 2012 @ live rhul ac uk
History
2018-02-12: last of 2 revisions
2015-04-11: received
See all versions
Short URL
https://ia.cr/2015/320
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.