Secure Outsourcing of Computation using Smart Contracts by Rei Safavi-Naini
Abstract:
Outsourcing computation enables a weak client to delegate its computational tasks to other computing agents (e.g. cloud) who are willing to perform the computation and be compensated for their work. A basic security requirement of the client is to be able to confident about the correctness of the received result. Verifiable computation systems enable the client to efficiently verify the correctness of the received results.
Smart contracts have been used as an automated and transparent trusted party to mediate verifiable computation protocols, and manage payments and rewards according to the protocol description.
In this talk we show security challenges of these systems, look at two verifiable computation systems that are mediated by smart contracts, show concrete attacks on these systems and propose protections mechanisms.
PLEASE RSVP ON OUR EVENTBRITE PAGE.