Publicly Verifiable Outsourced Computation (PVC) allows devices with restricted resources
to delegate computations to more powerful external servers, and to verify the correctness of …

In this paper we show how Isolated Execution Environments (IEE) offered by novel
commodity hardware such as Intel's SGX provide a new path to constructing general secure …

I will review recent (and not so recent) research on the topic of Verifiable Outsourced
Computation. The problem of verifying the correctness of computations done by untrusted …

Protocols for secure two-party computation enable a pair of parties to compute a function of
their inputs while preserving security properties such as privacy, correctness and …

This paper describes the design, implementation, and evaluation of a system for performing
verifiable outsourced computation. It has long been known that (1) this problem can be …

A plethora of mutually beneficial information collaboration opportunities exist when
organizations and individuals share information. Some examples of such collaborations …

In the setting of multi-party computation, sets of two or more parties with private inputs wish
to jointly compute some (predetermined) function of their inputs. This computation should be …

As secure multiparty computation technology becomes more mature, we see more and more
practical applications where computation moves from a lab setting to an actual deployment …

It is well-known that n players connected only by pairwise secure channels can achieve
multi-party computation secure against an active adversary if and only if t< n/2 of the players …

We address the problem in which a client stores a large amount of data with an untrusted
server in such a way that, at any moment, the client can ask the server to compute a function …