71 citations · 145 across the 13 of their papers we have counts for
15 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…
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…
Minimizing resource overhead in fusion-based quantum computation using hybrid spin-photon devices
Stephen C. Wein, Timothée Goubault de Brugière, Luka Music +3
We present three schemes for constructing a (2,2)-Shor-encoded 6-ring photonic resource state for fusion-based quantum computing, each relying on a different type of photon source.…
Towards practical secure delegated quantum computing with semi-classical light
Boris Bourdoncle, Pierre-Emmanuel Emeriau, Paul Hilaire +3
Secure Delegated Quantum Computation (SDQC) protocols are a vital piece of the future quantum information processing global architecture since they allow end-users to perform their…
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…
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…
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…
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
Nicolas Heurtel, Andreas Fyrillas, Grégoire de Gliniasty +13
We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and compone…
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…
Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds
Theodoros Kapourniotis, Elham Kashefi, Luka Music +1
Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through it's ability to preserve privacy and integrity of the…
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…
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
Luka Music, Céline Chevalier, Elham Kashefi
It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to perform superposition queries and the honest…
The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation
Elham Kashefi, Luka Music, Petros Wallden
The application and analysis of the Cut-and-Choose technique in protocols secure against quantum adversaries is not a straightforward transposition of the classical case, among oth…