Edinburgh Research Explorer

Prof Elham Kashefi

Personal Chair in Quantum Computing

  1. Generalized Flow and Determinism in Measurement-based Quantum Computation

    E. Browne, D., Kashefi, E., Mhalla, M. & Perdrix, S., 22 Feb 2007, In : New Journal of Physics. 16 p.

    Research output: Contribution to journalArticle

  2. The convex hull in a new model of computation

    Edalat, A., Lieutier, A. & Kashefi, E., 2001, Proceedings of the 13th Canadian Conference on Computational Geometry, University of Waterloo, Ontario, Canada, August 13-15, 2001. p. 93-96 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Unconditionally verifiable blind quantum computation

    Fitzsimons, J. F. & Kashefi, E., 5 Jul 2017, In : Physical review a. 96, p. 1-27 27 p., 012303.

    Research output: Contribution to journalArticle

  4. A simple protocol for fault tolerant verification of quantum computation

    Gheorghiu, A., Hoban, M. & Kashefi, E., 27 Nov 2018, In : Quantum Science and Technology. 4, 1, p. 1-12 12 p.

    Research output: Contribution to journalArticle

  5. Rigidity of quantum steering and one-sided device-independent verifiable quantum computation

    Gheorghiu, A., Wallden, P. & Kashefi, E., 21 Feb 2017, In : New Journal of Physics. 19, 2, 29 p., 023043.

    Research output: Contribution to journalArticle

  6. Verification of Quantum Computation and the Price of Trust

    Gheorghiu, A., Kapourniotis, T. & Kashefi, E., 6 May 2017, Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. Weil, P. (ed.). Cham: Springer International Publishing, p. 15-19 5 p. (Lecture Notes in Computer Science; vol. 10304).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Robustness and device independence of verifiable blind quantum computing

    Gheorghiu, A., Kashefi, E. & Wallden, P., Aug 2015, In : New Journal of Physics. 17, 27 p., 083040.

    Research output: Contribution to journalArticle

  8. Verification of Quantum Computation: An Overview of Existing Approaches

    Gheorghiu, A., Kapourniotis, T. & Kashefi, E., 6 Jul 2018, In : Theory of Computing Systems. p. 1-94 94 p.

    Research output: Contribution to journalArticle

  9. Verified Delegated Quantum Computing with One Pure Qubit

    Kapourniotis, T., Kashefi, E. & Datta, A., 2014, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 176-204 29 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. On optimising quantum communications in verifiable quantum computing

    Kapourniotis, T., Dunjko, V. & Kashefi, E., 2015, 15th Asian Quantum Information Science Conference. p. 23-25 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution