Efficient and Reliable Tools for Delegating Computation, PhD
Speaker: Guy Rothblum , CSAIL, MIT
Date: May 29 2009
Time: 10:30AM to 12:30PM
Location: 32-124
Contact: be, 3-6098, imbe
Relevant URL:
In an emerging computing paradigm, computational capabilities, from
processing power to storage capacities, are offered to users over
communication networks as a service. This new paradigm holds enormous
promise, especially for increasing the utility of computationally weak
devices. A natural approach is for weak devices to delegate expensive
tasks, such as storing a large file or running a complex computation, to
more powerful entities (say servers) connected to the same network.
While the delegation approach seems promising, it raises immediate
concerns:
When and how can a weak device verify that a computational task was
completed correctly? For example, how can such a device verify that a
computation server performed a costly computation correctly?
This practically motivated question touches on foundational questions in
cryptography and complexity theory. In the talk I will present recent
progress and tools for delegating computational tasks reliably and
survey applications of these new tools to cryptography and complexity
theory.
See other events that are part of CIS/Microsoft Seminars 2008/2009
See other events happening in May 2009
