Abstract
Nonlocal games allow us to control and test the behavior of untrusted quantum devices. Recently Yaoyun Shi and I provided the first proof of a protocol for robust exponential randomness expansion with untrusted devices. In this talk I will discuss the techniques that enabled our proof, including the use of nonlocal games to simulate partially trusted measurements.