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 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.

The first session of this talk will take place on Wednesday, May 20 from 2:00 pm – 3:00 pm.