5 papers · 1 filter
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…
Logical accreditation: a framework for efficient certification of fault-tolerant computations
James Mills, Adithya Sireesh, Dominik Leichtle +2
As fault-tolerant quantum computers scale, certifying the accuracy of computations performed with encoded logical qubits will soon become classically intractable. This creates a cr…
Selectively Blind Quantum Computation
Abbas Poshtvan, Oleksandra Lapiha, Mina Doosti +3
Known protocols for secure delegation of quantum computations from a client to a server in an information theoretic setting require quantum communication. In this work, we investig…
On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit
Cica Gustiani, Dominik Leichtle, Daniel Mills +3
We present and experimentally demonstrate a novel approach to verification and benchmarking of quantum computing, implementing it on an ion-trap quantum computer. Unlike previous i…