3 citations · 7 across the 13 of their papers we have counts for
4 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…