Seminar: Carlos Perez Delgado

Secure Quantum Computation: Optimality and Beyond

Carlos Perez Delgado, University of Sheffield

When a server performs a quantum computation for a client, the client may insist on various security requirements. One is that the client be able to ascertain the correctness of the computation with high probability. This is called verifiability. A second one is that the server not be able to learn the input, output, or nature of the computation that it itself is performing. This is called blindness. Device independence entails that the client need not understand, nor trust, the functioning of their own computing or communication devices. In this talk we will discuss some of the progress in the last three years regarding costs, bounds, and optimal protocols, for achieving these, and other, security requirements.