Blindness and Verification of Quantum Computation with One Pure Qubit. - Theodoros Kapourniotis; Elham Kashefi; Animesh Datta (TQC, 2014)

Quantum-enhanced secure delegated classical computing. - Vedran Dunjko; Theodoros Kapourniotis; Elham Kashefi (Quantum Inf. Comput., 2016)

Efficient verification of universal and intermediate quantum computing. - Theodoros Kapourniotis (2016)

Verification of Quantum Computation and the Price of Trust. - Alexandru Gheorghiu; Theodoros Kapourniotis; Elham Kashefi (CSR, 2017)

Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract). - Daniel Mills; Anna Pappa 002; Theodoros Kapourniotis; Elham Kashefi (QPL, 2017)

Verification of Quantum Computation: An Overview of Existing Approaches. - Alexandru Gheorghiu; Theodoros Kapourniotis; Elham Kashefi (Theory Comput. Syst., 2019)

Nonadaptive fault-tolerant verification of quantum supremacy with noise. - Theodoros Kapourniotis; Animesh Datta (Quantum, 2019)

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)