Research output per year
Research output per year
Research output
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. Springer, Cham, Vol. 2. p. 667-696 30 p. ( Lecture Notes in Computer Science; vol. 12492).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2019
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 proceeding › Conference contribution
Open AccessFile -
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, Cham, p. 615-645 30 p. (Lecture Notes in Computer Science (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2018
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
-
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 International Publishing, p. 15-19 5 p. (Lecture Notes in Computer Science; vol. 10304).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference 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 proceeding › Conference 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. FThZ5Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 Berlin Heidelberg, Vol. 6519. p. 35-46 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference 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 proceeding › Conference 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 (IEEE), p. 517-526 10 p. (Annual Symposium on Foundations of Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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 Berlin Heidelberg, Vol. 5106. p. 29-46 18 p. (Lecture Notes in Computer Science; vol. 5106).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference contribution
Open AccessFile -
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 proceeding › Conference 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 proceeding › Conference contribution
Open AccessFile