Rational approximations and quantum algorithms with postselection. - Urmila Mahadev; Ronald de Wolf (Quantum Inf. Comput., 2015)

Certifiable Randomness from a Single Quantum Device. - Zvika Brakerski; Paul F. Christiano; Urmila Mahadev; Umesh V. Vazirani; Thomas Vidick (CoRR, 2018)

Classical Verification and Blind Delegation of Quantum Computations. - Urmila Mahadev (2018)

A Cryptographic Test of Quantumness and Certifiable Randomness from a Single Quantum Device. - Zvika Brakerski; Paul F. Christiano; Urmila Mahadev; Umesh V. Vazirani; Thomas Vidick (J. ACM, 2021)

Efficient Certifiable Randomness from a Single Quantum Device. - Urmila Mahadev; Umesh V. Vazirani; Thomas Vidick (CoRR, 2022)

Classical Verification of Quantum Computations. - Urmila Mahadev (SIAM J. Comput., 2022)

Classical Homomorphic Encryption for Quantum Circuits. - Urmila Mahadev (SIAM J. Comput., 2023)