49 citations · 163 across the 14 of their papers we have counts for
17 papers
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…
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…
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…
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…
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…