{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:48:54Z","timestamp":1778255334681,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642136771","type":"print"},{"value":"9783642136788","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13678-8_2","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T01:18:48Z","timestamp":1277169528000},"page":"43-86","source":"Crossref","is-referenced-by-count":14,"title":["Measurement-Based and Universal Blind Quantum Computation"],"prefix":"10.1007","author":[{"given":"Anne","family":"Broadbent","sequence":"first","affiliation":[]},{"given":"Joseph","family":"Fitzsimons","sequence":"additional","affiliation":[]},{"given":"Elham","family":"Kashefi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Anders, J., Browne, D.E.: Computational power of correlations. Physical Review Letters\u00a0102, 050502 (4 pages) (2009)","DOI":"10.1103\/PhysRevLett.102.050502"},{"key":"2_CR2","unstructured":"Aharonov, D., Ben-Or, M., Eban, E.: Interactive proofs for quantum computations. In: Proceedings of Innovations in Computer Science (ICS 2010), pp. 453\u2013469 (2010)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0022-0000(89)90018-4","volume":"39","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Feigenbaum, J., Kilian, J.: On hiding information from an oracle. Journal of Computer and System Sciences\u00a039, 21\u201350 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Aharonov, D., Jones, V., Landau, Z.: A polynomial quantum algorithm for approximating the Jones polynomial. In: Proceedings of the 38th annual ACM symposium on Theory of computing (STOC 2006), pp. 427\u2013436 (2006)","DOI":"10.1145\/1132516.1132579"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Aliferis, P., Leung, D.W.: Simple proof of fault tolerance in the graph-state model. Phys. Rev. A\u00a073 (2006)","DOI":"10.1103\/PhysRevA.73.032308"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Ambainis, A., Mosca, M., Tapp, A., de Wolf, R.: Private quantum channels. In: Proceedings of the 41st Annual Symposium on Foundations of Computer Science (FOCS 2000), pp. 547\u2013553 (2000)","DOI":"10.1109\/SFCS.2000.892142"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1142\/S0219749906002171","volume":"4","author":"P. Arrighi","year":"2006","unstructured":"Arrighi, P., Salvail, L.: Blind quantum computation. International Journal of Quantum Information\u00a04, 883\u2013898 (2006)","journal-title":"International Journal of Quantum Information"},{"key":"2_CR8","volume-title":"Studies in Logic","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. In: Studies in Logic. North-Holland, Amsterdam (1984)"},{"key":"2_CR9","unstructured":"Brassard, G., Bennett, C.H.: Public key distribution and coin tossing. In: Proceedings of IEEE International Conference on Computers, Systems and Signal Processing (1984)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1002\/9783527618637.ch20","volume-title":"Lectures on Quantum Information","author":"D.E. Browne","year":"2006","unstructured":"Browne, D.E., Briegel, H.J.: One-way quantum computation. In: Lectures on Quantum Information, pp. 359\u2013380. Wiley-VCH, Berlin (2006)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Barnum, H., Cr\u00e9peau, C., Gottesman, D., Smith, A., Tapp, A.: Authentication of quantum messages. In: Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science (FOCS 2002), p. 449 (2002)","DOI":"10.1109\/SFCS.2002.1181969"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Broadbent, A., Fitzsimons, J., Kashefi, E.: Universal blind quantum computation. In: Proceedings of the 50th Annual Symposium on Foundations of Computer Science (FOCS 2009), pp. 517\u2013527 (2009)","DOI":"10.1109\/FOCS.2009.36"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Broadbent, A., Kashefi, E.: Parallelizing quantum circuits. In: Theoretical Computer Science, pp. 2489\u20132510 (2009)","DOI":"10.1016\/j.tcs.2008.12.046"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Browne, D., Kashefi, E., Mhalla, M., Perdrix, S.: Generalized flow and determinism in measurement-based quantum computation. New Journal of Physics\u00a09 (2007)","DOI":"10.1088\/1367-2630\/9\/8\/250"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"42317","DOI":"10.1103\/PhysRevA.67.042317","volume":"67","author":"P.O. Boykin","year":"2003","unstructured":"Boykin, P.O., Roychowdhury, V.: Optimal encryption of quantum bits. Physical Review A\u00a067, 042317 (2003)","journal-title":"Physical Review A"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Bernstein, E., Vazirani, U.: Quantum complexity theory. SIAM Journal of Computing\u00a05(26) (1997)","DOI":"10.1137\/S0097539796300921"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"456","DOI":"10.26421\/QIC5.6-4","volume":"5","author":"A.M. Childs","year":"2005","unstructured":"Childs, A.M.: Secure assisted quantum computation. Quantum Information and Computation\u00a05, 456\u2013466 (2005); Initial version appeared online in (2001)","journal-title":"Quantum Information and Computation"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Choi, M.D.: Completely positive linear maps on complex matrices. Linear Algebra and Applications\u00a010 (1975)","DOI":"10.1016\/0024-3795(75)90075-0"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Childs, A.M., Leung, D.W., Nielsen, M.A.: Unified derivations of measurement-based schemes for quantum computation. Physical Review A\u00a071 (2005), quant-ph\/0404132","DOI":"10.1103\/PhysRevA.71.032318"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Childs, A.M., Leung, D.W., Nielsen, M.A.: Unified derivations of measurement-based schemes for quantum computation. Physical Review\u00a0A\u00a071, 032318 (14 pages) (2005)","DOI":"10.1103\/PhysRevA.71.032318"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"D\u00fcr, W., Aschauer, H., Briegel, H.J.: Multiparticle entanglement purification for graph state. Physical Review Letters\u00a091 (2003), quant-ph\/0303087","DOI":"10.1103\/PhysRevLett.91.107903"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London\u00a0A400 (1985)","DOI":"10.1098\/rspa.1985.0070"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Deutsch, D.: Quantum computational networks. Proc. Roy. Soc. Lond A\u00a0425 (1989)","DOI":"10.1098\/rspa.1989.0099"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Danos, V., Kashefi, E.: Determinism in the one-way model. Physical Review A\u00a074, 052310 (6 pages) (2006)","DOI":"10.1103\/PhysRevA.74.052310"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Danos, V., Kashefi, E., Panangaden, P.: Parsimonious and robust realizations of unitary maps in the one-way model. Physical Review A\u00a072 (2005)","DOI":"10.1103\/PhysRevA.72.064301"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Danos, V., Kashefi, E., Panangaden, P.: The measurement calculus. Journal of ACM\u00a054, 8 (45 pages) (2007)","DOI":"10.1145\/1219092.1219096"},{"key":"2_CR27","unstructured":"D\u00fcrr, C., Santha, M.: A decision procedure for unitary linear quantum cellular automata. In: Proceedings of FOCS 1996 \u2013 Symposium on Foundations of Computer Science, LNCS. Springer, Heidelberg (1996), quant-ph\/9604007"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-39799-X_38","volume-title":"Advances in Cryptology","author":"J. Feigenbaum","year":"1986","unstructured":"Feigenbaum, J.: Encrypting problem instances: Or... can you take advantage of someone without having to trust him? In: Williams, H.C. (ed.) CRYPTO 1985. LNCS, vol.\u00a0218, pp. 477\u2013488. Springer, Heidelberg (1986)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature\u00a0402 (1999)","DOI":"10.1038\/46503"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Goldwasser, S., Kalai, Y.T., Rothblum, G.N.: Delegating computation: interactive proofs for muggles. In: Proceedings of the 40th annual ACM symposium on Theory of computing, pp. 113\u2013122 (2008)","DOI":"10.1145\/1374376.1374396"},{"key":"2_CR31","first-page":"825","volume":"18","author":"A.D. Greentree","year":"2006","unstructured":"Greentree, A.D., Olivero, P., Draganski, M., Trajkov, E., Rabeau, J.R., Reichart, P., Gibson, B.C., Rubanov, S., Huntington, S.T., Jamieson, D.N., Prawer, S.: Critical components for diamond-based quantum coherent devices. Journal of Physics: Condensed Matter\u00a018, 825\u2013842 (2006)","journal-title":"Journal of Physics: Condensed Matter"},{"key":"2_CR32","unstructured":"Gottesoman, D.: Stabilizer codes and quantum error correction. PhD thesis, California Institute of Technology (1997)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/09500340008244046","volume":"47","author":"D. Gottesman","year":"2000","unstructured":"Gottesman, D.: Fault-tolerant quantum computation with local gates. Journal of Modern Optics\u00a047, 333\u2013345 (2000)","journal-title":"Journal of Modern Optics"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Hein, M., Eisert, J., Briegel, H.J.: Multi-party entanglement in graph states. Physical Review A\u00a069 (2004)","DOI":"10.1103\/PhysRevA.69.062311"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1070\/RM1997v052n06ABEH002155","volume":"52","author":"A.Y. Kitaev","year":"1997","unstructured":"Kitaev, A.Y.: Quantum computations: algorithms and error correction. Russian Mathematical Surveys\u00a052, 1191\u20131249 (1997)","journal-title":"Russian Mathematical Surveys"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"2525","DOI":"10.1103\/PhysRevLett.84.2525","volume":"84","author":"E. Knill","year":"2000","unstructured":"Knill, E., Laflamme, R.: A theory of quantum error-correcting codes. Physical Review Letters\u00a084, 2525 (2000)","journal-title":"Physical Review Letters"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Markham, D., Sanders, B.C.: Graph states for quantum secret sharing. Physical Review\u00a0A\u00a078, 042309 (17 pages) (2008)","DOI":"10.1103\/PhysRevA.78.042309"},{"key":"2_CR38","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A., Dawson, C.M.: Fault-tolerant quantum computation with cluster states. Phys. Rev. A\u00a071 (2005)","DOI":"10.1103\/PhysRevA.71.042323"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A.: Universal quantum computation using only projective measurement, quantum memory and preparation of the 0 state. Physical Review A\u00a0308 (2003)","DOI":"10.1016\/S0375-9601(02)01803-0"},{"key":"2_CR41","volume-title":"Quantum Theory: Concepts and Methods","author":"A. Peres","year":"1995","unstructured":"Peres, A.: Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"2_CR42","volume-title":"Introduction to Quantum Computation and Information","author":"J. Preskill","year":"1998","unstructured":"Preskill, J.: Fault-tolerant quantum computation. In: Lo, H.K., Popescu, S., Spiller, T.P. (eds.) Introduction to Quantum Computation and Information. World Scientific, Singapore (1998)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Physical Review Letters\u00a086 (2001)","DOI":"10.1103\/PhysRevLett.86.5188"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Raussendorf, R., Browne, D.E., Briegel, H.J.: Measurement-based quantum computation on cluster states. Physical Review A\u00a068 (2003)","DOI":"10.1103\/PhysRevA.68.022312"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"2242","DOI":"10.1016\/j.aop.2006.01.012","volume":"321","author":"R. Raussendorf","year":"2006","unstructured":"Raussendorf, R., Harrington, J., Goyal, K.: A fault-tolerant one-way quantum computer. Annals of Physics\u00a0321, 2242\u20132270 (2006)","journal-title":"Annals of Physics"},{"key":"2_CR46","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/359340.359342","volume":"21","author":"R.L. Rivest","year":"1978","unstructured":"Rivest, R.L., Shamir, A., Adleman, L.: A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM\u00a021, 120\u2013126 (1978)","journal-title":"Communications of the ACM"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science\u00a014(4) (2004)","DOI":"10.1017\/S0960129504004256"},{"key":"2_CR48","unstructured":"Selinger, P. (ed.): Proceedings of the 3nd International Workshop on Quantum Programming Languages. ENTCS (2005)"},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P.W. Shor","year":"1997","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing\u00a026, 1484\u20131509 (1997); First published in 1995","journal-title":"SIAM Journal on Computing"},{"key":"2_CR50","unstructured":"Schumacher, B., Werner, R.F.: Reversible quantum cellular automata (2004), quant-ph\/0405174"},{"key":"2_CR51","unstructured":"Unruh, D.: Quantum programs with classical output streams. In: Selinger [Sel05] (2005)"},{"key":"2_CR52","unstructured":"van Dam, W.: Quantum cellular automata. Master\u2019s thesis, Computer Science Nijmegen (1996)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of FOCS 1995 \u2013 Symposium on Foundations of Computer Science","author":"J. Watrous","year":"1995","unstructured":"Watrous, J.: On one-dimensional quantum cellular automata. In: Proceedings of FOCS 1995 \u2013 Symposium on Foundations of Computer Science, LNCS. Springer, Heidelberg (1995)"},{"key":"2_CR54","unstructured":"Zeng, B., Cross, A., Chuang, I.L.: Transversality versus universality for additive quantum codes (2007), arXiv:0706.1382v3 (quant-ph)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Quantitative Aspects of Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13678-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T03:45:08Z","timestamp":1740195908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13678-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136771","9783642136788"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13678-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}