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