Mahadev, Urmila
- Interactive Proofs For Quantum Computations
2008/10/30 by Dorit Aharonov, Michael Ben-Or, Aharonov, Dorit +4 · 9 citations
Computer Science · #Computability, Logic, AI Algorithms #Cryptography and Data Security #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- A Cryptographic Test of Quantumness and Certifiable Randomness from a\n Single Quantum Device
2018/04/02 by Zvika Brakerski, Paul Christiano, Brakerski, Zvika +7 · 8 citations
Computer Science · #Computational Complexity (cs.CC) #Cryptographic Implementations and Security #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Classical Homomorphic Encryption for Quantum Circuits
2017/08/07 by Mahadev, Urmila · 6 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Classical Verification of Quantum Computations
2018/04/03 by Mahadev, Urmila · 6 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Rational approximations and quantum algorithms with postselection
2014/01/05 by Mahadev, Urmila, de Wolf, Ronald · 2 citations
#Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)