Securing Quantum Computations in the NISQ Era. - Elham Kashefi; Dominik Leichtle; Luka Music; Harold Ollivier (CoRR, 2020)

Security Limitations of Classical-Client Delegated Quantum Computing. - Christian Badertscher; Alexandru Cojocaru; Léo Colisson; Elham Kashefi; Dominik Leichtle; Atul Mantri; Petros Wallden (IACR Cryptol. ePrint Arch., 2020)

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations. - Theodoros Kapourniotis; Elham Kashefi; Dominik Leichtle; Luka Music; Harold Ollivier (IACR Cryptol. ePrint Arch., 2022)

Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority. - Theodoros Kapourniotis; Elham Kashefi; Dominik Leichtle; Luka Music; Harold Ollivier (IACR Cryptol. ePrint Arch., 2023)

Design and demonstration of an operating system for executing applications on quantum network nodes. - 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 Rodriguez-Pardo Montblanch; et al. (CoRR, 2024)

Security and Efficiency of Delegated Quantum Computing. (Sécurité et efficacité du calcul quantique délégué). - Dominik Leichtle (2024)

An operating system for executing applications on quantum network nodes. - Carlo Delle Donne; Mariagrazia Iuliano; Bart van der Vecht; Guilherme Maciel Ferreira; Hana Jirovská; Thom van der Steenhoven; Axel Dahlberg; Matthew Skrzypczyk; Dario Fioretto; Markus Teller; Pavel Filippov; Alejandro Rodriguez-Pardo Montblanch; et al. (Nat., 2025)

Bounding the asymptotic quantum value of all multipartite compiled non-local games. - Matilde Baroni; Dominik Leichtle; Sinisa Jankovic; Ivan Supic (CoRR, 2025)