Projects per year
Recent advances in theoretical and experimental quantum computing brings us closer to scalable quantum computing devices. This lead researchers to develop protocols for verifying the correct functionality of quantum operations. In this paper we address key challenges to make quantum verification protocols applicable to experimental implementations. We prove the robustness of the single server verification protocol of Fitzsimons and Kashefi (2012) which is based on universal blind quantum computing. The robustness of this protocol makes possible its composition with the device-independent protocol of Reichardt, Unger and Vazirani (2013). The new composite protocol inherits the device independence from Reichardt, Unger and Vazirani protocol while it leads to a lower round complexity for the verification of entangled quantum servers scenario. Finally, we give a fault tolerant version of the Fitzsimons and Kashefi protocol which suggests that the composite protocol can also be made fault tolerant.
|Number of pages||22|
|Journal||New Journal of Physics|
|Publication status||Published - 19 Aug 2015|
FingerprintDive into the research topics of 'Robustness and device independence of verifiable blind quantum computing'. Together they form a unique fingerprint.
- 1 Finished
UK Quantum Technology Hub: NQIT - Networked Quantum Information Technologies
1/12/14 → 30/11/19
- School of Informatics - Lecturer in Security and Privacy
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active