Abstract: With cloud computing, computations and data are increasingly being delegated to powerful remote servers. This brings new computational challenges: How do we ensure privacy? How do we guarantee that computations are performed correctly? This talk mainly focuses on the latter question. We present a method for efficiently guaranteeing the integrity of arbitrary computations. Our method is based on a connection to "no-signaling strategies" from quantum physics.
Based on joint work with Ran Raz and Ron Rothblum.
Bio: Yael Tauman Kalai received her BA (1997) from the Hebrew University in Jerusalem, MA (2001) under the supervision of Adi Shamir at the Weizmann Institute, and PhD (2006) under the supervision of Shafi Goldwasser at MIT. After postdoctoral positions at Microsoft Research and the Weizmann Institute, she was a faculty member in Georgia Tech, and is now a Researcher at Microsoft Research New England. Her honors include an outstanding master's thesis prize, and a Sprowl's award (cowinner) for best PhD Thesis at MIT. Her research focuses on cryptography and theory of computation at large.