49 citations · 163 across the 14 of their papers we have counts for
17 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…
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…
Experimental verifiable multi-client blind quantum computing on a Qline architecture
Beatrice Polacchi, Dominik Leichtle, Gonzalo Carvacho +5
The exploitation of certification tools by end users represents a fundamental aspect of the development of quantum technologies as the hardware scales up beyond the regime of class…
Heuristic-free Verification-inspired Quantum Benchmarking
Johannes Frank, Elham Kashefi, Dominik Leichtle +1
In this paper, we introduce a new approach to quantum benchmarking inspired by quantum verification motivating new paradigms of quantum benchmarking. Our proposed benchmark not onl…
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…
Multi-client distributed blind quantum computation with the Qline architecture
Beatrice Polacchi, Dominik Leichtle, Leonardo Limongi +6
Universal blind quantum computing allows users with minimal quantum resources to delegate a quantum computation to a remote quantum server, while keeping intrinsically hidden input…
Verifiable blind quantum computing with trapped ions and single photons
P. Drmota, D. P. Nadlinger, D. Main +9
We report the first hybrid matter-photon implementation of verifiable blind quantum computing. We use a trapped-ion quantum server and a client-side photonic detection system netwo…
Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle +2
Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a pro…
Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle +2
With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been exe…
Verifying BQP Computations on Noisy Devices with Minimal Overhead
Dominik Leichtle, Luka Music, Elham Kashefi +1
With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While prot…
Securing Quantum Computations in the NISQ Era
Elham Kashefi, Dominik Leichtle, Luka Music +1
Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals…
Security Limitations of Classical-Client Delegated Quantum Computing
Christian Badertscher, Alexandru Cojocaru, Léo Colisson +4
Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted quantum server in a privacy-preserving manner.…