This series of talks was part of the Cryptography Boot Camp. Videos for each talk area available through the links above.
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.