Tutte seminar - Michele Mosca

Computing with Untrusted Quantum Apparatus

Abstract:

Quantum information processing offers the possibility of solving computational problems previously thought to be intractable, and of achieving cryptographic objectives previously thought to be impossible.
To what extent must we trust our quantum apparatus, and to what extent can we objectively test for its faithful behaviour? 
For example, would you believe a quantum proof implemented by an untrusted quantum computer? Can you trust a quantum cryptosystem implemented by hardware you bought from an untrusted vendor? 
I will discuss some old and new results related to these questions.