{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:54:16Z","timestamp":1743033256383,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030878719"},{"type":"electronic","value":"9783030878726"}],"license":[{"start":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T00:00:00Z","timestamp":1632268800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,22]],"date-time":"2021-09-22T00:00:00Z","timestamp":1632268800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-87872-6_16","type":"book-chapter","created":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T04:02:39Z","timestamp":1632196959000},"page":"156-166","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Repeated Mistake is a Choice: Considering Security Issues and Risks in Quantum Computing from Scratch"],"prefix":"10.1007","author":[{"given":"Danel","family":"Arias","sequence":"first","affiliation":[]},{"given":"Borja","family":"Sanz","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Gaviria","family":"de la Puerta","sequence":"additional","affiliation":[]},{"given":"Iker","family":"Pastor","sequence":"additional","affiliation":[]},{"given":"Pablo Garc\u00eda","family":"Bringas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,22]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 348\u2013375 (1978). https:\/\/doi.org\/10.1016\/0022-0000(78)90014-4","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s002200200635","volume":"227","author":"MH Freedman","year":"2002","unstructured":"Freedman, M.H., Kitaev, A., Wang, Z.: Simulation of topological field theories by quantum computers. Commun. Math. Phys. 227, 587\u2013603 (2002). https:\/\/doi.org\/10.1007\/s002200200635","journal-title":"Commun. Math. Phys."},{"key":"16_CR3","unstructured":"Altenkirch, T., Grattage, J.: QML: Quantum data and control (2005)"},{"key":"16_CR4","unstructured":"LIQUi\u3009Github. https:\/\/stationq.github.io\/Liquid\/. Accessed 24 June 2021"},{"key":"16_CR5","unstructured":"Quipper Homepage. https:\/\/www.mathstat.dal.ca\/~selinger\/quipper\/. Accessed 24 June 2021"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Math. Struct. Comput. Sci. 14, 527\u2013586 (2004). https:\/\/doi.org\/10.1017\/S0960129504004256","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A van Tonder","year":"2004","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM J. Comput. 33, 1109\u20131135 (2004). https:\/\/doi.org\/10.1137\/S0097539703432165","journal-title":"SIAM J. Comput."},{"key":"16_CR8","unstructured":"van Tonder, A., Dorca, M.: Quantum Computation, Categorical Semantics and Linear Logic. ArXivquant-Ph0312174 (2011)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D Deutsch","year":"1985","unstructured":"Deutsch, D., Penrose, R.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. Math. Phys. Sci. 400, 97\u2013117 (1985). https:\/\/doi.org\/10.1098\/rspa.1985.0070","journal-title":"Proc. R. Soc. Lond. Math. Phys. Sci."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1137\/S0097539796300921","volume":"26","author":"E Bernstein","year":"1997","unstructured":"Bernstein, E., Vazirani, U.: Quantum complexity theory. SIAM J. Comput. 26, 1411\u20131473 (1997). https:\/\/doi.org\/10.1137\/S0097539796300921","journal-title":"SIAM J. Comput."},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.2172\/366453","volume-title":"Conventions for Quantum Pseudocode","author":"E Knill","year":"1996","unstructured":"Knill, E.: Conventions for Quantum Pseudocode. Los Alamos National Lab (LANL), Los Alamos, NM (United States) (1996)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2006.4","volume":"39","author":"KM Svore","year":"2006","unstructured":"Svore, K.M., Aho, A.V., Cross, A.W., Chuang, I., Markov, I.L.: A layered software architecture for quantum computing design tools. Computer 39, 74\u201383 (2006). https:\/\/doi.org\/10.1109\/MC.2006.4","journal-title":"Computer"},{"key":"16_CR13","unstructured":"\u00d6mer, B.: A procedural formalism for quantum computing. (1998)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1063\/1.1503695","volume":"627","author":"B \u00d6mer","year":"2002","unstructured":"\u00d6mer, B.: Procedural quantum programming. AIP Conf. Proc. 627, 276\u2013285 (2002). https:\/\/doi.org\/10.1063\/1.1503695","journal-title":"AIP Conf. Proc."},{"key":"16_CR15","unstructured":"\u00d6mer, B.: Structured Quantum Programming (2003)"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1140\/epjd\/e2003-00242-2","volume":"25","author":"S Bettelli","year":"2003","unstructured":"Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. Eur. Phys. J. D-Atom. Mol. Optical Phys. 25(2), 181\u2013200 (2003). https:\/\/doi.org\/10.1140\/epjd\/e2003-00242-2","journal-title":"Eur. Phys. J. D-Atom. Mol. Optical Phys."},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"Mathematics of Program Construction","author":"JW Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 80\u201399. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722010_6"},{"key":"16_CR18","unstructured":"Azure Quantum Documentation: QDK & Q# API Reference. https:\/\/docs.microsoft.com\/en-us\/azure\/quantum\/. Accessed 24 June 2021"},{"key":"16_CR19","unstructured":"Liu, S., et al.: Q|SI\u3009: A Quantum Programming Environment. ArXiv171009500 Quant-Ph (2017)"},{"key":"16_CR20","unstructured":"Qiskit documentation. https:\/\/qiskit.org\/documentation\/. Accessed 24 June 2021"},{"key":"16_CR21","volume-title":"Scaffold: Quantum Programming Language","author":"AJ Abhari","year":"2012","unstructured":"Abhari, A.J., et al.: Scaffold: Quantum Programming Language. Princeton University NJ, Department of Computer Science, Princeton (2012)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","volume":"2","author":"J Preskill","year":"2018","unstructured":"Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018). https:\/\/doi.org\/10.22331\/q-2018-08-06-79","journal-title":"Quantum"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Almudever, C.G., et al.: The engineering challenges in quantum computing. In: Design, Automation Test in Europe Conference Exhibition (DATE), 2017, pp. 836\u2013845 (2017). https:\/\/doi.org\/10.23919\/DATE.2017.7927104","DOI":"10.23919\/DATE.2017.7927104"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"021318","DOI":"10.1063\/1.5089550","volume":"6","author":"P Krantz","year":"2019","unstructured":"Krantz, P., Kjaergaard, M., Yan, F., Orlando, T.P., Gustavsson, S., Oliver, W.D.: A quantum engineer\u2019s guide to superconducting Qubits. Appl. Phys. Rev. 6, 021318 (2019). https:\/\/doi.org\/10.1063\/1.5089550","journal-title":"Appl. Phys. Rev."},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"021314","DOI":"10.1063\/1.5088164","volume":"6","author":"CD Bruzewicz","year":"2019","unstructured":"Bruzewicz, C.D., Chiaverini, J., McConnell, R., Sage, J.M.: Trapped-ion quantum computing: progress and challenges. Appl. Phys. Rev. 6, 021314 (2019). https:\/\/doi.org\/10.1063\/1.5088164","journal-title":"Appl. Phys. Rev."},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"076001","DOI":"10.1088\/0034-4885\/76\/7\/076001","volume":"76","author":"SJ Devitt","year":"2013","unstructured":"Devitt, S.J., Munro, W.J., Nemoto, K.: Quantum error correction for beginners. Rep. Prog. Phys. 76, 076001 (2013). https:\/\/doi.org\/10.1088\/0034-4885\/76\/7\/076001","journal-title":"Rep. Prog. Phys."},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Gottesman, D.: An introduction to quantum error correction and fault-tolerant quantum computation. In: Quantum Information Science and Its Contributions to Mathematics, Proceedings of Symposia in Applied Mathematics (2010)","DOI":"10.1090\/psapm\/068\/2762145"},{"key":"16_CR28","volume-title":"Quantum Computation and Quantum Information: 10th","author":"MA Nielsen","year":"2011","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th, Anniversary Cambridge University Press, USA (2011)","edition":"Anniversary"},{"key":"16_CR29","first-page":"1","volume":"16","author":"J Preskill","year":"1998","unstructured":"Preskill, J.: Lecture notes for physics 229: Quantum information and computation. Calif. Inst. Technol. 16, 1\u20138 (1998)","journal-title":"Calif. Inst. Technol."},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1098\/rspa.1998.0167","volume":"454","author":"J Preskill","year":"1998","unstructured":"Preskill, J.: Reliable quantum computers. Proc. R. Soc. Lond. Ser. Math. Phys. Eng. Sci. 454, 385\u2013410 (1998). https:\/\/doi.org\/10.1098\/rspa.1998.0167","journal-title":"Proc. R. Soc. Lond. Ser. Math. Phys. Eng. Sci."},{"key":"16_CR31","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1080\/00107514.2019.1667078","volume":"60","author":"J Roffe","year":"2019","unstructured":"Roffe, J.: Quantum error correction: an introductory guide. Contemp. Phys. 60, 226\u2013245 (2019). https:\/\/doi.org\/10.1080\/00107514.2019.1667078","journal-title":"Contemp. Phys."},{"key":"16_CR32","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1038\/nature23460","volume":"549","author":"ET Campbell","year":"2017","unstructured":"Campbell, E.T., Terhal, B.M., Vuillot, C.: Roads towards fault-tolerant universal quantum computation. Nature 549, 172\u2013179 (2017). https:\/\/doi.org\/10.1038\/nature23460","journal-title":"Nature"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Preskill, J.: Fault-tolerant quantum computation. In: Introduction to quantum computation and information. pp. 213\u2013269. World Scientific (1998)","DOI":"10.1142\/9789812385253_0008"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Saki, A.A., Alam, M., Phalak, K., Suresh, A., Topaloglu, R.O., Ghosh, S.: A Survey and Tutorial on Security and Resilience of Quantum Computing. ArXiv210606081 Quant-Ph. (2021)","DOI":"10.1109\/ETS50041.2021.9465397"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Zhao, P., Zhao, J., Ma, L.: Identifying Bug Patterns in Quantum Programs. ArXiv210309069 Quant-Ph (2021)","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"16_CR36","doi-asserted-by":"publisher","unstructured":"Liu, J., Byrd, G.T., Zhou, H.: Quantum circuits for dynamic runtime assertions in quantum computation. In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1017\u20131030. Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3373376.3378488.","DOI":"10.1145\/3373376.3378488"},{"key":"16_CR37","unstructured":"Kitaev, A.Y.: Quantum measurements and the Abelian Stabilizer Problem. ArXivquant-Ph. 9511026. (1995)"},{"key":"16_CR38","unstructured":"IBM Quantum phase estimation. https:\/\/quantum-computing.ibm.com\/composer\/docs\/iqx\/guide\/quantum-phase-estimation. Accessed 08 July 2021"},{"key":"16_CR39","unstructured":"Coppersmith, D.: An approximate Fourier transform useful in quantum factoring. ArXivquant-Ph. 0201067 (2002)"},{"key":"16_CR40","unstructured":"Qiskit Quantum Fourier Transform. https:\/\/community.qiskit.org\/textbook\/ch-algorithms\/quantum-fourier-transform.html. Accessed 08 July 2021"},{"key":"16_CR41","doi-asserted-by":"publisher","unstructured":"Huang, Y., Martonosi, M.: Statistical assertions for validating patterns and finding bugs in quantum programs. In: Proceedings of the 46th International Symposium on Computer Architecture. pp. 541\u2013553. Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3307650.3322213","DOI":"10.1145\/3307650.3322213"},{"key":"16_CR42","doi-asserted-by":"publisher","unstructured":"Abhari, A.J., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F.T., Martonosi, M.: ScaffCC: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers, pp. 1\u201310. Association for Computing Machinery, New York, NY, USA (2014). https:\/\/doi.org\/10.1145\/2597917.2597939","DOI":"10.1145\/2597917.2597939"},{"key":"16_CR43","unstructured":"Cross, A.W., Bishop, L.S., Smolin, J.A., Gambetta, J.M.: Open Quantum Assembly Language. ArXiv170703429 Quant-Ph. (2017)"},{"key":"16_CR44","unstructured":"Test and debug quantum programs - Azure Quantum, https:\/\/docs.microsoft.com\/en-us\/azure\/quantum\/user-guide\/testing-debugging. Accessed 24 June 2021"},{"key":"16_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24754-8_1","volume-title":"Functional and Logic Programming","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1\u20136. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24754-8_1"},{"key":"16_CR46","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.ieri.2014.09.069","volume":"10","author":"PS Menon","year":"2014","unstructured":"Menon, P.S., Ritwik, M.: A comprehensive but not complicated survey on quantum computing. IERI Procedia. 10, 144\u2013152 (2014). https:\/\/doi.org\/10.1016\/j.ieri.2014.09.069","journal-title":"IERI Procedia."},{"key":"16_CR47","doi-asserted-by":"publisher","unstructured":"Elhoushi, M., El-Kharashi, M.W., Elrefaei, H.: Modeling a quantum processor using the QRAM model. In: Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, pp. 409\u2013415 (2011). https:\/\/doi.org\/10.1109\/PACRIM.2011.6032928","DOI":"10.1109\/PACRIM.2011.6032928"},{"key":"16_CR48","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1093\/comjnl\/bxl057","volume":"50","author":"R R\u00fcdiger","year":"2007","unstructured":"R\u00fcdiger, R.: Quantum programming languages: an introductory overview. Comput. J. 50, 134\u2013150 (2007). https:\/\/doi.org\/10.1093\/comjnl\/bxl057","journal-title":"Comput. J."},{"key":"16_CR49","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"SJ Gay","year":"2006","unstructured":"Gay, S.J.: Quantum programming languages: survey and bibliography. Math. Struct. Comput. Sci. 16, 581\u2013600 (2006). https:\/\/doi.org\/10.1017\/S0960129506005378","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR50","doi-asserted-by":"crossref","unstructured":"Tao, R., Shi, Y., Yao, J., Hui, J., Chong, F.T., Gu, R.: Gleipnir: toward practical error analysis for quantum programs (Extended Version). ArXiv210406349 Quant-Ph. (2021)","DOI":"10.1145\/3453483.3454029"}],"container-title":["Advances in Intelligent Systems and Computing","14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87872-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T07:04:19Z","timestamp":1642835059000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87872-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,22]]},"ISBN":["9783030878719","9783030878726"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87872-6_16","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2021,9,22]]},"assertion":[{"value":"22 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIS - ICEUTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Computational Intelligence in Security for Information Systems Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bilbao","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cisis-spain2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2021.iceuteconference.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}