Publications | Dominik Leichtlehttps://thamik.github.io/publication/PublicationsHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2025 00:00:00 +0000https://thamik.github.io/media/icon_hu8366089224990975970.pngPublicationshttps://thamik.github.io/publication/Composably Secure Delegated Quantum Computation with Weak Coherent Pulseshttps://thamik.github.io/publication/17-garnier-2025-composably/Wed, 01 Jan 2025 00:00:00 +0000https://thamik.github.io/publication/17-garnier-2025-composably/Composably Secure Delegated Quantum Computation with Weak Coherent Pulseshttps://thamik.github.io/publication/15-garnier-2024-composably/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/15-garnier-2024-composably/Design and demonstration of an operating system for executing applications on quantum network nodeshttps://thamik.github.io/publication/14-donne-2024-design/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/14-donne-2024-design/Experimental verifiable multi-client blind quantum computing on a Qline architecturehttps://thamik.github.io/publication/13-polacchi-2024-experimental/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/13-polacchi-2024-experimental/Heuristic-free Verification-inspired Quantum Benchmarkinghttps://thamik.github.io/publication/12-frank-2024-heuristic/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/12-frank-2024-heuristic/On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unithttps://thamik.github.io/publication/16-gustiani-2024-onchip/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/16-gustiani-2024-onchip/Quantum error suppression with subgroup stabilisation projectorshttps://thamik.github.io/publication/11-yang-2024-quantum/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/11-yang-2024-quantum/Security and Efficiency of Delegated Quantum Computinghttps://thamik.github.io/publication/09-leichtle-2024-security/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/09-leichtle-2024-security/Unifying quantum verification and error-detection: theory and tools for optimisationshttps://thamik.github.io/publication/05-kapourniotis-2024-unifying/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/05-kapourniotis-2024-unifying/Verifiable blind quantum computing with trapped ions and single photonshttps://thamik.github.io/publication/07-drmota-2024-verifiable/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/07-drmota-2024-verifiable/Verification of quantum computations without trusted preparations or measurementshttps://thamik.github.io/publication/10-kashefi-2024-verification/Mon, 01 Jan 2024 00:00:00 +0000https://thamik.github.io/publication/10-kashefi-2024-verification/Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majorityhttps://thamik.github.io/publication/06-kapourniotis-2023-asymmetric/Sun, 01 Jan 2023 00:00:00 +0000https://thamik.github.io/publication/06-kapourniotis-2023-asymmetric/Multi-client distributed blind quantum computation with the Qline architecturehttps://thamik.github.io/publication/08-polacchi-2023-multiclient/Sun, 01 Jan 2023 00:00:00 +0000https://thamik.github.io/publication/08-polacchi-2023-multiclient/Verifying BQP computations on noisy devices with minimal overheadhttps://thamik.github.io/publication/04-leichtle-2021-verifying/Fri, 01 Jan 2021 00:00:00 +0000https://thamik.github.io/publication/04-leichtle-2021-verifying/Securing quantum computations in the NISQ erahttps://thamik.github.io/publication/03-kashefi-2020-securing/Wed, 01 Jan 2020 00:00:00 +0000https://thamik.github.io/publication/03-kashefi-2020-securing/Security limitations of classical-client delegated quantum computinghttps://thamik.github.io/publication/02-badertscher-2020-security/Wed, 01 Jan 2020 00:00:00 +0000https://thamik.github.io/publication/02-badertscher-2020-security/Post-quantum signatures from identification schemeshttps://thamik.github.io/publication/01-leichtle-2018-post/Mon, 01 Jan 2018 00:00:00 +0000https://thamik.github.io/publication/01-leichtle-2018-post/