Edinburgh Research Explorer

Prof Elham Kashefi

Personal Chair in Quantum Computing

  1. 2019
  2. Cyber security in the quantum era

    Wallden, P. & Kashefi, E., 1 Apr 2019, In : Communications of the ACM. 62, 4, p. 120-129 10 p.

    Research output: Contribution to journalReview article

  3. 2018
  4. Optimal quantum-programmable projective measurement with linear optics

    Chabaud, U., Diamanti, E., Markham, D., Kashefi, E. & Joux, A., 14 Dec 2018, In : Physical review a. 98, 6, p. 1-11 11 p.

    Research output: Contribution to journalArticle

  5. Quantum advantage from sequential transformation contextuality

    Mansfield, S. & Kashefi, E., 3 Dec 2018, In : Physical Review Letters. 121, 23, p. 230401:1-230401:6 6 p., 230401.

    Research output: Contribution to journalArticle

  6. 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

  7. 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

  8. One-Sided Device-Independent Certification of Unbounded Random Numbers

    Coyle, B., Hoban, M. J. & Kashefi, E., 2 Jul 2018, Proceedings of the 9th International Workshop on Physics and Computation: Fontainebleau, France, 26 June 2018. Cuffaro, M. & Papayannopoulos, P. (eds.). Open Publishing Association, Vol. 273. p. 14-26 13 p. (Electronic Proceedings in Theoretical Computer Science).

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

  9. Theoretical and practical aspects of verification of quantum computers

    Naveh, Y., Kashefi, E., Wootton, J. R. & Bertels, K., 23 Apr 2018, 2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE), p. 721-730 10 p.

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

  10. Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation

    Mills, D., Pappa, A., Kapourniotis, T. & Kashefi, E., 27 Feb 2018, Proceedings 14th International Conference on Quantum Physics and Logic: Nijmegen, The Netherlands, 3-7 July 2017. Coecke, B. & Kissinger, A. (eds.). Open Publishing Association, p. 209–221 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 266).

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

  11. 2017
  12. Classical multiparty computation using quantum resources

    Clementi, M., Pappa, A., Eckstein, A., Walmsley, I. A., Kashefi, E. & Barz, S., 18 Dec 2017, In : Physical Review A. 96, 5 p., 062317.

    Research output: Contribution to journalArticle

  13. Continuous-variable sampling from photon-added or photon-subtracted squeezed states

    Chabaud, U., Douce, T., Markham, D., Van Loock, P., Kashefi, E. & Ferrini, G., 5 Dec 2017, In : Physical Review A. 96, 10 p., 062307.

    Research output: Contribution to journalArticle

  14. On the implausibility of classical client blind quantum computing

    Aaronson, S., Cojocaru, A., Gheorghiu, A. & Kashefi, E., 22 Sep 2017. 42 p.

    Research output: Contribution to conferencePaper

  15. Multiparty Delegated Quantum Computing

    Kashefi, E. & Pappa, A., 30 Jul 2017, In : Cryptography. 1, 2, p. 1-20 20 p.

    Research output: Contribution to journalArticle

  16. 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

  17. 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

  18. Garbled Quantum Computation

    Kashefi, E. & Wallden, P., 7 Apr 2017, In : Cryptography. 1, 1, p. 1-30 30 p., 6.

    Research output: Contribution to journalArticle

  19. Optimised resource construction for verifiable quantum computation

    Kashefi, E. & Wallden, P., 8 Mar 2017, In : Journal of Physics A: Mathematical and Theoretical. 50, 14, p. 1-25 25 p., 145306.

    Research output: Contribution to journalArticle

  20. 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

  21. Continuous-Variable Instantaneous Quantum Computing is Hard to Sample

    Douce, T., Markham, D., Kashefi, E., Diamanti, E., Coudreau, T., Milman, P., van Loock, P. & Ferrini, G., 17 Feb 2017, In : Physical Review Letters. 118, 7-17, p. 1-6 6 p., 070503.

    Research output: Contribution to journalArticle

  22. Best of both worlds

    Diamanti, E. & Kashefi, E., 2017, In : Nature Physics. 13, 3-4, p. 3-4 2 p.

    Research output: Contribution to journalComment/debate

  23. 2016
  24. Enhanced delegated computing using coherence

    Barz, S., Dunjko, V., Schlederer, F., Moore, M., Kashefi, E. & Walmsley, I. A., 28 Mar 2016, In : Physical review a. 93, 3, 5 p., 032339.

    Research output: Contribution to journalArticle

  25. Quantum-enhanced Secure Delegated Classical Computing

    Dunjko, V., Kapourniotis, T. & Kashefi, E., 1 Jan 2016, In : Quantum Information and Computation. p. 61-86 26 p.

    Research output: Contribution to journalArticle

  26. 2015
  27. 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

  28. Optimising the information flow of one-way quantum computations

    Pius, E., Dias da Silva, R. & Kashefi, E., Jul 2015, In : Quantum Information and Computation. 15, 9&10, p. 853-884 32 p.

    Research output: Contribution to journalArticle

  29. Ground state blind quantum computation on AKLT state

    Morimae, T., Dunjko, V. & Kashefi, E., Mar 2015, In : Quantum Information and Computation. 15, 3&4, p. 200-234 35 p.

    Research output: Contribution to journalArticle

  30. Global Quantum Circuit Optimization

    Morimae, T., Dunjko, V. & Kashefi, E., 2015, In : Quantum Information and Computation. p. 200-234 35 p.

    Research output: Contribution to journalArticle

  31. 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

  32. 2014
  33. Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation

    Markham, D. & Kashefi, E., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Springer International Publishing, p. 427-453 27 p. (Lecture Notes in Computer Science; vol. 8464).

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

  34. Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

    Breugel, F. V. (ed.), Kashefi, E. (ed.), Palamidessi, C. (ed.) & Rutten, J. (ed.), 2014, Springer International Publishing. 499 p. (Lecture Notes in Computer Science; vol. 8464)

    Research output: Book/ReportBook

  35. 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

  36. 2013
  37. Experimental verification of quantum computations

    Barz, S., F. Fitzsimons, J., Kashefi, E. & Walther, P., 30 Aug 2013, In : Nature Physics. p. 727-731 13 p.

    Research output: Contribution to journalArticle

  38. A Quantum-Theoretic Approach to Distributional Semantics

    Blacoe, W., Kashefi, E. & Lapata, M., 2013, Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 9-14, 2013, Westin Peachtree Plaza Hotel, Atlanta, Georgia, USA. Association for Computational Linguistics, p. 847-857 11 p.

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

  39. Extended phase map decompositions for unitaries

    Dunjko, V. & Kashefi, E., 2013, In : Mathematical Structures in Computer Science. 23, 2, p. 360-385 26 p.

    Research output: Contribution to journalArticle

  40. Preface to special issue: Developments In Computational Models 2010

    Cooper, S. B., Kashefi, E. & Panangaden, P., 2013, In : Mathematical Structures in Computer Science. 23, 2, p. 201-203 3 p.

    Research output: Contribution to journalArticle

  41. 2012
  42. Blind Quantum Computing with Weak Coherent Pulses

    Dunjko, V., Kashefi, E. & Leverrier, A., 1 May 2012, In : Physical Review Letters. 108, 20, 5 p., 200502.

    Research output: Contribution to journalArticle

  43. Ancilla-driven quantum computation with twisted graph states

    Anders, J., Andersson, E., Browne, D., Kashefi, E. & Oi, D. K. L., 2012, In : Theoretical Computer Science. 430, p. 51-72 22 p.

    Research output: Contribution to journalArticle

  44. Demonstration of Blind Quantum Computing

    Barz, S., Kashefi, E., Broadbent, A., Fitzsimons, J. F., Zeilinger, A. & Walther, P., 2012, In : Science. 335, 6066, p. 303-308 6 p.

    Research output: Contribution to journalArticle

  45. 2011
  46. Experimental Demonstration of a 4-qubit Loop Graph for One-way Quantum Computing

    Soudagar, Y., Xing, X., Kashefi, E., Godbout, N. & Steinberg, A. M., Oct 2011, Frontiers in Optics 2011/Laser Science XXVII: San Jose, California United States. Optical Society of America (OSA), p. FThZ5

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

  47. Closed timelike curves in measurement-based quantum computation

    da Silva, R. D., Galvao, E. F. & Kashefi, E., 24 Jan 2011, In : Physical review a. 83, 1, 7 p., 012316.

    Research output: Contribution to journalArticle

  48. Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011

    Kashefi, E. (ed.), Krivine, J. (ed.) & Raamsdonk, F. V. (ed.), 2011.

    Research output: Contribution to conferencePaper

  49. Programmable Hamiltonian for One-way Patterns

    Salek, S., Seifan, F. & Kashefi, E., 2011, In : Electronic Notes in Theoretical Computer Science. 270, 2, p. 155-161 7 p.

    Research output: Contribution to journalArticle

  50. 2010
  51. Ancilla-driven universal quantum computation

    Anders, J., Oi, D. K. L., Kashefi, E., Browne, D. E. & Andersson, E., 10 Aug 2010, In : Physical review a. 82, 2, 4 p., 020301.

    Research output: Contribution to journalArticle

  52. Algebraic characterisation of one-way patterns

    Dunjko, V. & Kashefi, E., 2010, Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, : DCM 2010, Edinburgh, Scotland, 9-10th July 2010.. p. 85-100 16 p.

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

  53. Computational Depth Complexity of Measurement-Based Quantum Computation

    Browne, D., Kashefi, E. & Perdrix, S., 2010, Theory of Quantum Computation, Communication, and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers. Springer Berlin Heidelberg, Vol. 6519. p. 35-46 12 p.

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

  54. Measurement-Based and Universal Blind Quantum Computation

    Broadbent, A., Fitzsimons, J. & Kashefi, E., 2010, Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Aldini, A., Bernardo, M., Di Pierro, A. & Wiklicky, H. (eds.). Springer Berlin Heidelberg, p. 43-86 44 p. (Lecture Notes in Computer Science; vol. 6154).

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

  55. 2009
  56. Demonstration of a loop cluster for quantum information applications

    Soudagar, Y., Xing, X., Kashefi, E., Godbout, N. & Steinberg, A. M., 2009, 2009 Conference on Lasers and Electro-Optics and 2009 Conference on Quantum electronics and Laser Science Conference. 2 p.

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

  57. Extended Measurement Calculus

    Danos, V., Kashefi, E., Panangaden, P. & Perdrix, S., 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 235-310 76 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  58. Information Flow in Secret Sharing Protocols

    Kashefi, E., Markham, D., Mhalla, M. & Perdrix, S., 2009, Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009.. p. 87-97 11 p.

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

  59. Parallelizing quantum circuits

    Broadbent, A. & Kashefi, E., 2009, In : Theoretical Computer Science. 410, 26, p. 2489-2510 22 p.

    Research output: Contribution to journalArticle

  60. Twisted Graph States for Ancilla-driven Universal Quantum Computation

    Kashefi, E., Oi, D. K. L., Browne, D., Anders, J. & Andersson, E., 2009, In : Electronic Notes in Theoretical Computer Science. 249, p. 307-331 25 p.

    Research output: Contribution to journalArticle

  61. Universal Blind Quantum Computation

    Broadbent, A., Fitzsimons, J. & Kashefi, E., 2009, Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09). Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 517-526 10 p. (Annual Symposium on Foundations of Computer Science).

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

  62. 2008
  63. Quadratic Form Expansions for Unitaries

    de Beaudrap, N., Danos, V., Kashefi, E. & Roetteler, M., 2008, Theory of Quantum Computation, Communication, and Cryptography: Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers. Kawano, Y. & Mosca, M. (eds.). Springer Berlin Heidelberg, Vol. 5106. p. 29-46 18 p. (Lecture Notes in Computer Science; vol. 5106).

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

  64. 2007
  65. Pauli Measurements are Universal

    Danos, V. & Kashefi, E., Jun 2007, In : Electronic Notes in Theoretical Computer Science. 170, 0, p. 95 - 100 6 p.

    Research output: Contribution to journalArticle

  66. The Measurement Calculus

    Danos, V., Kashefi, E. & Panangaden, P., Apr 2007, In : Journal of the ACM. 54, 2

    Research output: Contribution to journalArticle

  67. 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

  68. An Epistemic Measurement System for Quantum Security

    Kashefi, E. & Sadrzadeh, M., 2007, International Iran Conference on Quantum Information 2007. 2 p.

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

  69. Distributed Measurement-based Quantum Computation

    Danos, V., D'Hondt, E., Kashefi, E. & Panangaden, P., 2007, In : Electronic Notes in Theoretical Computer Science. 170, 0, p. 73 - 94

    Research output: Contribution to journalArticle

  70. Statistical Zero Knowledge and quantum one-way functions

    Kashefi, E. & Kerenidis, I., 2007, In : Theoretical Computer Science. 378, 1, p. 101-116 16 p.

    Research output: Contribution to journalArticle

  71. 2006
  72. A direct approach to fault-tolerance in measurement-based quantum computation via teleportation

    Silva, M., Danos, V., Kashefi, E. & Ollivier, H., 28 Nov 2006, In : New Journal of Physics. 10 p.

    Research output: Contribution to journalArticle

  73. Determinism in the one-way model

    Danos, V. & Kashefi, E., 2006, Phys. Rev. A. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Robustness Analysis of the Heat Shock Response using semiquantitative Reasoning

    Koeppl, H., Schindler, S., Kashefi, E., Messina, C. & Danos, V., 2006, Proceedings of Santa Fe Institute Complex Systems Summer School 2006. 4 p.

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

  75. The One Way to Quantum Computation

    Danos, V., Kashefi, E. & Panangaden, P., 2006, Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Bugliesi, M., Preneel, B., Sassone, V. & Wegener, I. (eds.). Springer Berlin Heidelberg, Vol. 4052. p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 4052).

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

  76. 2005
  77. Parsimonious and robust realizations of unitary maps in the one-way model

    Danos, V., Kashefi, E. & Panangaden, P., 6 Dec 2005, In : Physical review a. 72, 6, 8 p.

    Research output: Contribution to journalArticle

  78. 2002
  79. Uniqueness of the Entanglement Measure for Bipartite Pure States and Thermodynamics

    Vedral, V. & Kashefi, E., 1 Jun 2002, In : Physical Review Letters. 89, 3, p. 37903

    Research output: Contribution to journalArticle

  80. On quantum one-way permutations

    Kashefi, E., Nishimura, H. & Vedral, V., 2002, In : Quantum Information and Computation. 2, 5, p. 379-398 20 p.

    Research output: Contribution to journalArticle

  81. 2001
  82. 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