2 citations · 2 across the 3 of their papers we have counts for
14 papers · 1 filter
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…