Hybrid Publicly Verifiable Computation

James Alderman; Christian Janson; Jason Crampton; Carlos Cid

doi:10.1007/978-3-319-29485-8_9

Hybrid Publicly Verifiable Computation

James Alderman, Christian Janson, Jason Crampton, Carlos Cid

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

121 Downloads (Pure)

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.

Original language	English
Title of host publication	Topics in Cryptology - CT-RSA 2016
Editors	Kazue Sako
Publisher	Springer
Pages	147-163
Number of pages	17
Volume	9610
ISBN (Electronic)	978-3-319-29485-8
ISBN (Print)	978-3-319-29484-1
DOIs	https://doi.org/10.1007/978-3-319-29485-8_9
Publication status	Published - 2 Feb 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-29485-8_9

Hybrid Publicly Verifiable ComputationAccepted author manuscript, 480 KB

http://link.springer.com/chapter/10.1007/978-3-319-29485-8_9

Cite this

@inproceedings{096800a673c7444ba22074c1451fa2ff,

title = "Hybrid Publicly Verifiable Computation",

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.",

author = "James Alderman and Christian Janson and Jason Crampton and Carlos Cid",

year = "2016",

month = feb,

day = "2",

doi = "10.1007/978-3-319-29485-8_9",

language = "English",

isbn = "978-3-319-29484-1",

volume = "9610",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "147--163",

editor = "Kazue Sako",

booktitle = "Topics in Cryptology - CT-RSA 2016",

}

TY - GEN

T1 - Hybrid Publicly Verifiable Computation

AU - Alderman, James

AU - Janson, Christian

AU - Crampton, Jason

AU - Cid, Carlos

PY - 2016/2/2

Y1 - 2016/2/2

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-29485-8_9

DO - 10.1007/978-3-319-29485-8_9

M3 - Conference contribution

SN - 978-3-319-29484-1

VL - 9610

T3 - Lecture Notes in Computer Science

SP - 147

EP - 163

BT - Topics in Cryptology - CT-RSA 2016

A2 - Sako, Kazue

PB - Springer

ER -