3 citations · 7 across the 13 of their papers we have counts for
14 papers
Verifiable blind probabilistic error cancellation
Bo Yang, Elham Kashefi, Harold Ollivier
Quantum error mitigation (QEM) is an essential tool for mitigating hardware noise without incurring space overhead. Yet, its reliability depends on modeling, calibration, and imple…
Verification of Quantum Computations: Hardware-Efficient Security Proofs
Harold Ollivier
How can a user with limited quantum resources verify the output of an untrusted, fully quantum server? This manuscript provides a conceptual synthesis of some recent developments t…
Noise Inference by Recycling Test Rounds in Verification Protocols
Amit Saha, Harold Ollivier
Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was ca…
Composable Verification in the Circuit-Model via Magic-Blindness
Sami Abdul Sater, Harold Ollivier
As quantum computing machines move towards the utility regime, it is essential that users are able to verify their delegated quantum computations with security guarantees that are…
Efficient certification of intractable quantum states with few Pauli measurements
Sami Abdul Sater, Maxime Garnier, Thierry Martinez +2
Efficient verification of quantum computational resources is crucial as experiments advance toward fault-tolerance. Universal quantum computation can be achieved by consuming resou…
Verifiable blind observable estimation
Bo Yang, Elham Kashefi, Harold Ollivier
Cryptographic verification is essential for establishing trust in quantum-computing-as-a-service. However, a fundamental gap exists in the current verification landscape: existing…
Plugging Leaks in Fault-Tolerant Quantum Computation and Verification
Theodoros Kapourniotis, Dominik Leichtle, Luka Music +1
With the advent of quantum cloud computing, the security of delegated quantum computation has become of utmost importance. While multiple statistically secure blind verification sc…
Composably Secure Delegated Quantum Computation with Weak Coherent Pulses
Maxime Garnier, Dominik Leichtle, Luka Music +1
A client can delegate a quantum computation to a powerful remote server while ensuring the privacy and the integrity of its computation via Secure Delegated Quantum Computation (SD…
Low bit-flip rate probabilistic error cancellation
Mathys Rennela, Harold Ollivier
Noise remains one of the most significant challenges in the development of reliable and scalable quantum processors. While quantum error correction and mitigation techniques offer…
On the role of coherence for quantum computational advantage
Hugo Thomas, Pierre-Emmanuel Emeriau, Rawad Mezher +3
Quantifying the resources available to a quantum computer appears to be necessary to separate quantum from classical computation. Among them, entanglement, nonstabilizerness and co…
Design and demonstration of an operating system for executing applications on quantum network nodes
Carlo Delle Donne, Mariagrazia Iuliano, Bart van der Vecht +22
The goal of future quantum networks is to enable new internet applications that are impossible to achieve using solely classical communication. Up to now, demonstrations of quantum…
Quantum Error Suppression with Subgroup Stabilisation
Bo Yang, Elham Kashefi, Dominik Leichtle +1
Quantum state purification is the functionality that, given multiple copies of an unknown state, outputs a state with increased purity. This will be an essential building block for…
Verification of Quantum Computations without Trusted Preparations or Measurements
Elham Kashefi, Dominik Leichtle, Luka Music +1
With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure De…
Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
Shraddha Singh, Mina Doosti, Natansh Mathur +4
We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of com…