The quantum technology has an acute verification and validation problem: On one hand since classical computations cannot scale up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging, on the other hand the underlying quantum structure resists classical certification analysis. The central objective of the lecture series is to present recent advances in this field.
Lecture I: Universal Blind Quantum Computing.
Lecture II: Verifiable Blind Quantum Computing
Lecture III: Price of Trust