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 second session of this talk will take place on Wednesday, May 20 from 3:30 pm – 4:30 pm.