Abstract:
A Delegated Computation is a protocol between a computationally weak client asks a more powerful server to run a certain algorithm A on a given input x, an approach which has been expanding in practice with the rise of the Cloud Computing paradigm and the proliferation of mobile devices. In this lecture we will survey methods to secure delegated computations, and in particular efficient methods for the client to efficiently verify that the result provided by the server is the correct one.