Leichtle, Dominik

1. Verifying BQP Computations on Noisy Devices with Minimal Overhead
   2021/09/09 by Leichtle, Dominik, Music, Luka, Kashefi, Elham +1 · 7 citations
   #FOS: Physical sciences #Quantum Physics (quant-ph)
2. Multi-client distributed blind quantum computation with the Qline architecture
   2023/06/08 by Beatrice Polacchi, Dominik Leichtle, Polacchi, Beatrice +15 · 5 citations
   Computer Science · #Quantum Information and Cryptography #Quantum Computing Algorithms and Architecture #Neural Networks and Reservoir Computing
3. On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit
   2024/10/31 by Gustiani, Cica, Leichtle, Dominik, Mills, Daniel +3 · 4 citations
   #FOS: Physical sciences #Quantum Physics (quant-ph)
4. Experimental Verifiable Multiclient Blind Quantum Computing on a Qline Architecture
   2024/07/12 by Beatrice Polacchi, Dominik Leichtle, Polacchi, Beatrice +13 · 2 citations
   Computer Science · Physics and Astronomy · #Quantum Information and Cryptography #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications
5. Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
   2023/03/15 by Theodoros Kapourniotis, Kapourniotis, Theodoros, Elham Kashefi +7 · 2 citations
   Computer Science · Physics and Astronomy · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
6. Plugging Leaks in Fault-Tolerant Quantum Computation and Verification
   2025/10/03 by Theodoros Kapourniotis, Kapourniotis, Theodoros, Dominik Leichtle +5 · 2 citations
   Computer Science · Physics and Astronomy · #Quantum Information and Cryptography #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications
7. Bounding the asymptotic quantum value of all multipartite compiled non-local games
   2025/07/16 by Matilde Baroni, Baroni, Matilde, Dominik Leichtle +5 · 1 voice · 3 citations
   Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #cs.CR #quant-ph
8. Logical accreditation: a framework for efficient certification of fault-tolerant computations
   2025/08/07 by James Mills, Adithya Sireesh, Mills, James +7 · 1 voice · 1 citation
   #quant-ph