{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T05:07:53Z","timestamp":1783746473709,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662456071","type":"print"},{"value":"9783662456088","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45608-8_22","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:46:39Z","timestamp":1415961999000},"page":"406-425","source":"Crossref","is-referenced-by-count":38,"title":["Composable Security of Delegated Quantum Computation"],"prefix":"10.1007","author":[{"given":"Vedran","family":"Dunjko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joseph F.","family":"Fitzsimons","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Portmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renato","family":"Renner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","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)"},{"issue":"05","key":"22_CR2","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(05), 883\u2013898 (2006)","journal-title":"International Journal of Quantum Information"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-24638-1_19","volume-title":"Theory of Cryptography","author":"M. Backes","year":"2004","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: A general composition theorem for secure reactive systems. In: Naor, M. (ed.) TCC 2004. LNCS, vol.\u00a02951, pp. 336\u2013354. Springer, Heidelberg (2004)"},{"issue":"12","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1685","DOI":"10.1016\/j.ic.2007.05.002","volume":"205","author":"M. Backes","year":"2007","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: The reactive simulatability (RSIM) framework for asynchronous systems. Information and Computation\u00a0205(12), 1685\u20131720 (2007), Extended version of\u00a0[39]","journal-title":"Information and Computation"},{"key":"22_CR5","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 Symposium on Foundations of Computer Science, FOCS 2002, pp. 449\u2013458. IEEE (2002)","DOI":"10.1109\/SFCS.2002.1181969"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"10503","DOI":"10.1103\/PhysRevLett.110.010503","volume":"110","author":"J. Barrett","year":"2013","unstructured":"Barrett, J., Colbeck, R., Kent, A.: Memory attacks on device-independent quantum cryptography. Physical Review Letters\u00a0110, 010503 (2013)","journal-title":"Physical Review Letters"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Barz, S., Fitzsimons, J.F., Kashefi, E., Walther, P.: Experimental verification of quantum computation. Nature Physics (2013)","DOI":"10.1038\/nphys2763"},{"issue":"6066","key":"22_CR8","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1126\/science.1214707","volume":"335","author":"S. Barz","year":"2012","unstructured":"Barz, S., Kashefi, E., Broadbent, A., Fitzsimons, J.F., Zeilinger, A., Walther, P.: Demonstration of blind quantum computing. Science\u00a0335(6066), 303\u2013308 (2012)","journal-title":"Science"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/3-540-44448-3_41","volume-title":"Advances in Cryptology - ASIACRYPT 2000","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Namprempre, C.: Authenticated encryption: Relations among notions and analysis of the generic composition paradigm. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol.\u00a01976, pp. 531\u2013545. Springer, Heidelberg (2000)"},{"key":"22_CR10","unstructured":"Ben-Or, M., Mayers, D.: General security definition and composability for quantum & classical protocols (2004), http:\/\/www.arxiv.org\/abs\/quant-ph\/0409062 (eprint)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Broadbent, A., Fitzsimons, J., Kashefi, E.: Universal blind quantum computation. In: Proceedings of the 50th Symposium on Foundations of Computer Science, FOCS 2009, pp. 517\u2013526. IEEE Computer Society (2009)","DOI":"10.1109\/FOCS.2009.36"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-642-40084-1_20","volume-title":"Advances in Cryptology \u2013 CRYPTO 2013","author":"A. Broadbent","year":"2013","unstructured":"Broadbent, A., Gutoski, G., Stebila, D.: Quantum one-time programs. In: Canetti, R., Garay, J.A. (eds.) CRYPTO 2013, Part II. LNCS, vol.\u00a08043, pp. 344\u2013360. Springer, Heidelberg (2013)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. In: Proceedings of the 42nd Symposium on Foundations of Computer Science, FOCS 2001, pp. 136\u2013145. IEEE (2001)","DOI":"10.1109\/SFCS.2001.959888"},{"key":"22_CR14","unstructured":"Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. Cryptology ePrint Archive, Report 2000\/067 (2013), http:\/\/eprint.iacr.org\/2000\/067 , updated version of\u00a0[13]"},{"key":"22_CR15","unstructured":"Chien, C.H., Meter, R.V., Kuo, S.Y.: Fault-tolerant operations for universal blind quantum computation (2013), http:\/\/www.arxiv.org\/abs\/1306.3664 (eprint)"},{"issue":"6","key":"22_CR16","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 & Computation\u00a05(6), 456\u2013466 (2005)","journal-title":"Quantum Information & Computation"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"22339","DOI":"10.1103\/PhysRevA.80.022339","volume":"80","author":"G. Chiribella","year":"2009","unstructured":"Chiribella, G., D\u2019Ariano, G.M., Perinotti, P.: Theoretical framework for quantum networks. Physical Review A\u00a080, 022339 (2009)","journal-title":"Physical Review A"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Dunjko, V., Fitzsimons, J., Portmann, C., Renner, R.: Composable security of delegated quantum computation (2014), http:\/\/www.arxiv.org\/abs\/1301.3662 (eprint)","DOI":"10.1007\/978-3-662-45608-8_22"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"200502","DOI":"10.1103\/PhysRevLett.108.200502","volume":"108","author":"V. Dunjko","year":"2012","unstructured":"Dunjko, V., Kashefi, E., Leverrier, A.: Universal blind quantum computing with weak coherent pulses. Physical Review Letters\u00a0108, 200502 (2012)","journal-title":"Physical Review Letters"},{"key":"22_CR20","unstructured":"Fitzsimons, J., Kashefi, E.: Unconditionally verifiable blind computation (2012), http:\/\/www.arxiv.org\/abs\/1203.5217 (eprint)"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"230501","DOI":"10.1103\/PhysRevLett.111.230501","volume":"111","author":"V. Giovannetti","year":"2013","unstructured":"Giovannetti, V., Maccone, L., Morimae, T., Rudolph, T.G.: Efficient universal blind computation. Physical Review Letters\u00a0111, 230501 (2013)","journal-title":"Physical Review Letters"},{"key":"22_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546891","volume-title":"Foundations of Cryptography: Volume 1, Basic Tools","author":"O. Goldreich","year":"2001","unstructured":"Goldreich, O.: Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press, New York (2001)"},{"key":"22_CR23","series-title":"Basic Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721656","volume-title":"Foundations of Cryptography: Volume 2, Basic Applications","author":"O. Goldreich","year":"2004","unstructured":"Goldreich, O.: Foundations of Cryptography: Volume 2, Basic Applications. Basic Applications, vol.\u00a02. Cambridge University Press, New York (2004)"},{"issue":"3","key":"22_CR24","doi-asserted-by":"publisher","first-page":"32202","DOI":"10.1063\/1.3693621","volume":"53","author":"G. Gutoski","year":"2012","unstructured":"Gutoski, G.: On a measure of distance for quantum strategies. Journal of Mathematical Physics\u00a053(3), 032202 (2012)","journal-title":"Journal of Mathematical Physics"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Gutoski, G., Watrous, J.: Toward a general theory of quantum games. In: Proceedings of the 39th Symposium on Theory of Computing, STOC 2007, pp. 565\u2013574. ACM (2007)","DOI":"10.1145\/1250790.1250873"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/11761679_30","volume-title":"Advances in Cryptology - EUROCRYPT 2006","author":"D. Hofheinz","year":"2006","unstructured":"Hofheinz, D., M\u00fcller-Quade, J., Unruh, D.: On the (im-)possibility of extending coin toss. In: Vaudenay, S. (ed.) EUROCRYPT 2006. LNCS, vol.\u00a04004, pp. 504\u2013521. Springer, Heidelberg (2006)"},{"key":"22_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-44647-8_19","volume-title":"Advances in Cryptology - CRYPTO 2001","author":"H. Krawczyk","year":"2001","unstructured":"Krawczyk, H.: The order of encryption and authentication for protecting communications (or: How secure is SSL?). In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol.\u00a02139, pp. 310\u2013331. Springer, Heidelberg (2001)"},{"key":"22_CR28","doi-asserted-by":"publisher","first-page":"230502","DOI":"10.1103\/PhysRevLett.111.230502","volume":"111","author":"A. Mantri","year":"2013","unstructured":"Mantri, A., P\u00e9rez-Delgado, C.A., Fitzsimons, J.F.: Optimal blind quantum computation. Physical Review Letters\u00a0111, 230502 (2013)","journal-title":"Physical Review Letters"},{"key":"22_CR29","unstructured":"Maurer, U., Renner, R.: Abstract cryptography. In: Proceedings of Innovations in Computer Science, ICS 2010, pp. 1\u201321. Tsinghua University Press (2011)"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Maurer, U., Tackmann, B.: On the soundness of authenticate-then-encrypt: Formalizing the malleability of symmetric encryption. In: Proceedings of the 17th ACM Conference on Computer and Communication Security, pp. 505\u2013515. ACM (2010)","DOI":"10.1145\/1866307.1866364"},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"230502","DOI":"10.1103\/PhysRevLett.109.230502","volume":"109","author":"T. Morimae","year":"2012","unstructured":"Morimae, T.: Continuous-variable blind quantum computation. Physical Review Letters\u00a0109, 230502 (2012)","journal-title":"Physical Review Letters"},{"key":"22_CR32","doi-asserted-by":"publisher","first-page":"60302","DOI":"10.1103\/PhysRevA.89.060302","volume":"89","author":"T. Morimae","year":"2014","unstructured":"Morimae, T.: Verification for measurement-only blind quantum computing. Physical Review A\u00a089, 060302 (2014)","journal-title":"Physical Review A"},{"key":"22_CR33","unstructured":"Morimae, T., Dunjko, V., Kashefi, E.: Ground state blind quantum computation on AKLT state (2010), http:\/\/www.arxiv.org\/abs\/1009.3486 (eprint)"},{"key":"22_CR34","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1038\/ncomms2043","volume":"3","author":"T. Morimae","year":"2012","unstructured":"Morimae, T., Fujii, K.: Blind topological measurement-based quantum computation. Nature Communications\u00a03, 1036 (2012)","journal-title":"Nature Communications"},{"key":"22_CR35","doi-asserted-by":"publisher","first-page":"50301","DOI":"10.1103\/PhysRevA.87.050301","volume":"87","author":"T. Morimae","year":"2013","unstructured":"Morimae, T., Fujii, K.: Blind quantum computation protocol in which alice only makes measurements. Physical Review A\u00a087, 050301 (2013)","journal-title":"Physical Review A"},{"key":"22_CR36","unstructured":"Morimae, T., Koshiba, T.: Composable security of measuring-Alice blind quantum computation (2013), http:\/\/www.arxiv.org\/abs\/1306.2113 (eprint)"},{"key":"22_CR37","doi-asserted-by":"crossref","unstructured":"Mosca, M., Stebila, D.: Quantum coins. In: Error-Correcting Codes, Finite Geometries and Cryptography. Contemporary Mathematics, vol.\u00a0523, pp. 35\u201347. American Mathematical Society (2010)","DOI":"10.1090\/conm\/523\/10311"},{"key":"22_CR38","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"key":"22_CR39","doi-asserted-by":"crossref","unstructured":"Pfitzmann, B., Waidner, M.: A model for asynchronous reactive systems and its application to secure message transmission. In: IEEE Symposium on Security and Privacy, pp. 184\u2013200. IEEE (2001)","DOI":"10.1109\/SECPRI.2001.924298"},{"key":"22_CR40","unstructured":"Portmann, C., Renner, R.: Cryptographic security of quantum key distribution (2014), http:\/\/www.arxiv.org\/abs\/1409.3525 (eprint)"},{"key":"22_CR41","doi-asserted-by":"publisher","first-page":"60301","DOI":"10.1103\/PhysRevA.87.060301","volume":"87","author":"T. Sueki","year":"2013","unstructured":"Sueki, T., Koshiba, T., Morimae, T.: Ancilla-driven universal blind quantum computation. Physical Review A\u00a087, 060301 (2013)","journal-title":"Physical Review A"},{"key":"22_CR42","unstructured":"Unruh, D.: Simulatable security for quantum protocols (2004), r\u0306lhttp:\/\/www.arxiv.org\/abs\/quant-ph\/0409125 (eprint)"},{"key":"22_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-642-13190-5_25","volume-title":"Advances in Cryptology \u2013 EUROCRYPT 2010","author":"D. Unruh","year":"2010","unstructured":"Unruh, D.: Universally composable quantum multi-party computation. In: Gilbert, H. (ed.) EUROCRYPT 2010. LNCS, vol.\u00a06110, pp. 486\u2013505. Springer, Heidelberg (2010)"},{"key":"22_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-20465-4_26","volume-title":"Advances in Cryptology \u2013 EUROCRYPT 2011","author":"D. Unruh","year":"2011","unstructured":"Unruh, D.: Concurrent composition in the bounded quantum storage model. In: Paterson, K.G. (ed.) EUROCRYPT 2011. LNCS, vol.\u00a06632, pp. 467\u2013486. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Advances in Cryptology \u2013 ASIACRYPT 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45608-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T17:56:04Z","timestamp":1747158964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45608-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662456071","9783662456088"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45608-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}