Publications

Maxime Garnier, Dominik Leichtle, Luka Music, Harold Ollivier (2024). Composably Secure Delegated Quantum Computation with Weak Coherent Pulses. 2024 International Conference on Quantum Communications, Networking, and Computing (QCNC).
Cite URL
Beatrice Polacchi, Dominik Leichtle, Leonardo Limongi, Gonzalo Carvacho, Giorgio Milani, Nicolò Spagnolo, Marc Kaplan, Fabio Sciarrino, Elham Kashefi (2023). Multi-client distributed blind quantum computation with the Qline architecture. Nature Communications.
Cite URL
Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier (2023). Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority.
Cite URL
Dominik Leichtle, Luka Music, Elham Kashefi, Harold Ollivier (2021). Verifying BQP computations on noisy devices with minimal overhead. PRX Quantum.
Cite URL
Christian Badertscher, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden (2020). Security limitations of classical-client delegated quantum computing. International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2020).
Cite URL
Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier (2020). Securing quantum computations in the NISQ era.
Cite URL
Dominik Leichtle (2018). Post-quantum signatures from identification schemes. Master’s thesis, Technische Universiteit Eindhoven.
Cite URL