*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Summary Sentence: Ron Rothblum is set to present April 13.
Full Summary: No summary paragraph submitted.
RothblumHow to Prove the Correctness of Computations
Abstract – Much of the focus in cryptography has shifted from the classic goals of securing communication to securing computation. As a result, authenticating the correctness of computations has emerged as a central challenge in this new frontier.
This talk highlights new generic techniques that allow clients with limited computational resources, such as smartphones or tablets, to outsource expensive computations to powerful, but untrusted, servers, and to verify the correctness of the results. These techniques ensure an extremely efficient and inexpensive client verification process, and they limit server overhead.
Bio – Ron Rothblum completed his Ph.D. at the Weizmann Institute of Science in 2015, advised by Professor Oded Goldreich.
His dissertation, titled Verifiable Outsourcing of Computation, received the John F. Kennedy Ph.D. Distinction Prize and the Shimon Even Prize in Theoretical Computer Science.
He is currently a postdoctoral associate at MIT. His research is focused on cryptography and theoretical computer science in general.
