Filter
Conference contribution

Search results

  • 2020

    Security limitations of classical-client delegated quantum computing

    Badertscher, C., Cojocaru, A., Colisson, L., Kashefi, E., Leichtle, D., Mantri, A. & Wallden, P., 5 Dec 2020, Advances in Cryptology – ASIACRYPT 2020. Moriai, S. & Wang, H. (eds.). Springer, Vol. 2. p. 667-696 30 p. ( Lecture Notes in Computer Science; vol. 12492).

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

    Open Access
    File
  • Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses

    Music, L., Chevalier, C. & Kashefi, E., 20 Nov 2020, Provable and Practical Security. Nguyen, K., Wu, W., Lam, K. Y. & Wang, H. (eds.). Cham: Springer, p. 318-337 20 p. (Lecture Notes in Computer Science; vol. 12505).

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

  • Building Trust for Continuous Variable Quantum States

    Chabaud, U., Douce, T., Grosshans, F., Kashefi, E. & Markham, D., 8 Jun 2020, 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020). Flammia, S. T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 3:1--3:15 3. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 158).

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

    Open Access
    File
  • 2019

    QFactory: classically-instructed remote secret qubits preparation

    Cojocaru, A., Colisson, L., Kashefi, E. & Wallden, P., 25 Nov 2019, Advances in Cryptology – ASIACRYPT 2019. Galbraith, S. D. & Moriai, S. (eds.). Springer, p. 615-645 30 p. (Lecture Notes in Computer Science (LNCS)).

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

    Open Access
    File
  • Complexity-Theoretic Limitations on Blind Delegated Quantum Computation

    Aaronson, S., Cojocaru, A., Gheorghiu, A. & Kashefi, E., 4 Jul 2019, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 6:1-6:13 13 p. 6. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 132).

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

    Open Access
    File
  • 2018

    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; vol. 273).

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

    Open Access
    File
  • 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, p. 721-730 10 p.

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

  • 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

    Open Access
    File
  • 2017

    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, p. 15-19 5 p. (Lecture Notes in Computer Science; vol. 10304).

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

    Open Access
    File
  • 2015

    On optimising quantum communications in verifiable quantum computing

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

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

    Open Access
    File
  • 2014

    Blindness and Verification of Quantum Computation with One Pure Qubit

    Kapourniotis, T., Kashefi, E. & Datta, A., 11 Dec 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. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 27).

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

    Open Access
    File
  • 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, p. 427-453 27 p. (Lecture Notes in Computer Science; vol. 8464).

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

  • 2013

    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

  • 2011

    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

  • 2010

    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

  • 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, Vol. 6519. p. 35-46 12 p.

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

    Open Access
    File
  • 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, p. 43-86 44 p. (Lecture Notes in Computer Science; vol. 6154).

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

    Open Access
    File
  • 2009

    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

  • 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

  • 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, p. 517-526 10 p. (Annual Symposium on Foundations of Computer Science).

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

    Open Access
    File
  • 2008

    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, Vol. 5106. p. 29-46 18 p. (Lecture Notes in Computer Science; vol. 5106).

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

    Open Access
    File
  • 2007

    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

    Open Access
    File
  • 2006

    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

    Open Access
    File
  • 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, Vol. 4052. p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 4052).

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

  • 2001

    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

    Open Access
    File