Publications

Maxime Garnier, Dominik Leichtle, Luka Music, Harold Ollivier (2025). Composably Secure Delegated Quantum Computation with Weak Coherent Pulses. arXiv preprint arXiv:2503.08559.
Cite URL
Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier (2024). Verification of quantum computations without trusted preparations or measurements. arXiv preprint arXiv:2403.10464.
Cite URL
P. Drmota, D. P. Nadlinger, D. Main, B. C. Nichol, E. M. Ainley, Dominik Leichtle, A. Mantri, E. Kashefi, R. Srinivas, G. Araneda, C. J. Ballance, D. M. Lucas (2024). Verifiable blind quantum computing with trapped ions and single photons. Physical Review Letters.
Cite URL
Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier (2024). Unifying quantum verification and error-detection: theory and tools for optimisations. Quantum Science and Technology.
Cite URL
Dominik Leichtle (2024). Security and Efficiency of Delegated Quantum Computing.
Cite URL
Bo Yang, Elham Kashefi, Dominik Leichtle, Harold Ollivier (2024). Quantum error suppression with subgroup stabilisation projectors. arXiv preprint arXiv:2404.09973.
Cite URL
Cica Gustiani, Dominik Leichtle, Daniel Mills, Jonathan Miller, Ross Grassie, Elham Kashefi (2024). On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit. arXiv preprint arXiv:2410.24133.
Cite URL
Johannes Frank, Elham Kashefi, Dominik Leichtle, Michael De Oliveira (2024). Heuristic-free Verification-inspired Quantum Benchmarking. arXiv preprint arXiv:2404.10739.
Cite URL
Beatrice Polacchi, Dominik Leichtle, Gonzalo Carvacho, Giorgio Milani, Nicolò Spagnolo, Marc Kaplan, Elham Kashefi, Fabio Sciarrino (2024). Experimental verifiable multi-client blind quantum computing on a Qline architecture. arXiv preprint arXiv:2407.09310.
Cite URL
Carlo Delle Donne, Mariagrazia Iuliano, Bart Van Der Vecht, Guilherme Maciel Ferreira, Hana Jirovská, Thom Van Der Steenhoven, Axel Dahlberg, Matt Skrzypczyk, Dario Fioretto, Markus Teller, Pavel Filippov, Alejandro Rodríguez-Pardo Montblanch, Julius Fischer, Benjamin Van Ommen, Nicolas Demetriou, Dominik Leichtle, Luka Music, Harold Ollivier, Ingmar Te Raa, Wojciech Kozlowski, Tim Taminiau, Przemysław Pawełczak, Tracy Northup, Ronald Hanson, Stephanie Wehner (2024). Design and demonstration of an operating system for executing applications on quantum network nodes. arXiv preprint arXiv:2407.18306.
Cite URL