Xiao Liang

I Prove, Therefore I Am: Spatiotemporal Multi-Party Computation

Secure multiparty computation (MPC) enables mutually distrustful parties to compute on private digital inputs. We initiate the study of spatiotemporal MPC, extending this paradigm to functionalities whose inputs additionally depend on physical facts such as the parties'locations, times, or trajectories. Such protocols...