International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News item: 11 April 2015

James Alderman, Christian Janson, Carlos Cid, Jason Crampton
ePrint Report ePrint Report
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, yet in such settings the individual user requirements may be diverse.

In this paper, we introduce Hybrid PVC (HPVC) which, with a single setup stage, provides a flexible solution to outsourced computation supporting standard PVC, the enforcement of access control policies restricting the servers that may evaluate a given computation, and a reversed model of PVC which we call Verifiable Delegable Computation (VDC) where data is held remotely by servers. We provide formal frameworks and constructions for such systems.

Expand

Additional news items may be found on the IACR news page.