Verification of quantum computation: An overview of existing approaches

v1v2 (latest)

Verification of quantum computation: An overview of existing approaches

20 September 2017

Theodoros Kapourniotis

ArXiv (abs)PDF HTML

Papers citing "Verification of quantum computation: An overview of existing approaches"

18 / 18 papers shown

Title
All graph state verification protocols are composably secure Léo Colisson Damian Markham Raja Yehia 44 3 0 02 Feb 2024
Learning Properties of Quantum States Without the I.I.D. Assumption Omar Fawzi R. Kueng Damian Markham Aadil Oufkir 43 7 0 30 Jan 2024
A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis Maximilian Kaul Alexander Kuechler Christian Banse 33 8 0 11 Aug 2023
Classical Verification of Quantum Learning Matthias C. Caro M. Hinsche M. Ioannou A. Nietner R. Sweke 61 6 0 08 Jun 2023
Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority Theodoros Kapourniotis E. Kashefi D. Leichtle Luka Music Harold Ollivier 33 9 0 15 Mar 2023
Simulation of Networked Quantum Computing on Encrypted Data Ieva Čepaitė 31 3 0 25 Dec 2022
From Distributed Quantum Computing to Quantum Internet Computing: an Overview S. W. Loke GNN LRM 43 7 0 22 Aug 2022
Multi-agent blind quantum computation without universal cluster states Shuxiang Cao 10 4 0 27 Jun 2022
Classical Verification of Quantum Computations in Linear Time Jiayu Zhang 73 11 0 28 Feb 2022
Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more A. Gheorghiu Tony Metger Alexander Poremba 53 19 0 31 Jan 2022
Compression, The Fermi Paradox and Artificial Super-Intelligence Michael Timothy Bennett AI4CE 76 6 0 05 Oct 2021
QEnclave -- A practical solution for secure quantum cloud computing Yao Ma E. Kashefi Myrto Arapinis Kaushik Chakraborty M. Kaplan 65 18 0 07 Sep 2021
Practical parallel self-testing of Bell states via magic rectangles Sean A. Adamson P. Wallden LRM 31 3 0 09 May 2021
Securing Quantum Computations in the NISQ Era E. Kashefi D. Leichtle Luka Music Harold Ollivier 10 5 0 19 Nov 2020
Security Limitations of Classical-Client Delegated Quantum Computing Christian Badertscher Alexandru Cojocaru Léo Colisson E. Kashefi D. Leichtle A. Mantri P. Wallden 50 21 0 03 Jul 2020
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center T. Morimae 49 6 0 24 Mar 2020
Computationally-secure and composable remote state preparation A. Gheorghiu Thomas Vidick 61 73 0 12 Apr 2019
Learning hard quantum distributions with variational autoencoders Andrea Rocchetto Edward Grant Sergii Strelchuk Giuseppe Carleo Simone Severini BDL DRL 110 78 0 02 Oct 2017