Certifiable quantum dice: or, true random number generation secure against quantum adversaries.

Umesh V. Vazirani, Thomas Vidick

Browse the full STOC paper archive.