Machine Learning as a Service (MLaaS) allows clients with limited resources to outsource
their expensive ML tasks to powerful servers. Despite the huge benefits, current MLaaS …

With the emergence of cloud computing services, a resource-constrained client can
outsource its computationally-heavy tasks to cloud providers. Because such service …

Rational delegation of computation is an important technology of mobile Internet at present,
which is significant to the construction of intelligent urban computing. In order to close to …

Rational proofs, recently introduced by Azar and Micali (STOC 2012), are a variant of
interactive proofs in which the prover is neither honest nor malicious, but rather rational. The …

Rational proofs, introduced by Azar and Micali (STOC 2012) are a variant of interactive
proofs in which the prover is neither honest nor malicious, but rather rational. The advantage …

This paper initiates a study of Fine Grained Secure Computation: ie the construction of
secure computation primitives against “moderately complex” adversaries. We present …

Interactive proofs model a world where a verifier delegates computation to an untrustworthy
prover, verifying the prover's claims before accepting them. These proofs have applications …

We investigate proof systems where security holds against rational parties instead of
malicious ones. Our starting point is the notion of rational arguments, a variant of rational …

Abstract We show that Rational Proofs do not satisfy basic compositional properties in the
case where a large number of “computation problems” are outsourced. We show that a “fast” …

We present new protocols for the verification of space bounded polytime computations
against a rational adversary. For such computations requiring sublinear space our protocol …