{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:17:32Z","timestamp":1742912252076,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031647659"},{"type":"electronic","value":"9783031647666"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64766-6_28","type":"book-chapter","created":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T19:01:44Z","timestamp":1719774104000},"page":"280-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Efficient Smart Contracts Event Ordering Vulnerability Detection System Based on Symbolic Execution and Fuzz Testing"],"prefix":"10.1007","author":[{"given":"Yitao","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baojiang","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongbin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Can","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,1]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","unstructured":"Dika, A., Nowostawski, M.: Security vulnerabilities in Ethereum smart contracts. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 955\u2013962 (2018). https:\/\/doi.org\/10.1109\/Cybermatics_2018.2018.00182","DOI":"10.1109\/Cybermatics_2018.2018.00182"},{"key":"28_CR2","doi-asserted-by":"publisher","unstructured":"Tahir, U., Siyal, F., Ianni, M., Guzzo, A., Fortino, G.: Exploiting bytecode analysis for reentrancy vulnerability detection in Ethereum smart contracts. In: 2023 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing, International Conference on Cyber Science and Technology Congress (DASC\/PiCom\/CBDCom\/CyberSciTech), Abu Dhabi, United Arab Emirates, pp. 0779\u20130783 (2023). https:\/\/doi.org\/10.1109\/DASC\/PiCom\/CBDCom\/Cy59711.2023.10361441","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/Cy59711.2023.10361441"},{"key":"28_CR3","unstructured":"Siegel, D.: Understanding the DAO attack (2023). https:\/\/www.coindesk.com\/understanding-dao-hack-journalists"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Principles of Security and Trust","author":"N Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164\u2013186. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"issue":"1","key":"28_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.26599\/TST.2020.9010036","volume":"27","author":"J Sun","year":"2022","unstructured":"Sun, J., Huang, S., Zheng, C., Wang, T., Zong, C., Hui, Z.: Mutation testing for integer overflow in Ethereum smart contracts. Tsinghua Sci. Technol. 27(1), 27\u201340 (2022). https:\/\/doi.org\/10.26599\/TST.2020.9010036","journal-title":"Tsinghua Sci. Technol."},{"key":"28_CR6","doi-asserted-by":"publisher","unstructured":"Leid, A., Merwe, B., Visser, W.: Testing Ethereum smart contracts: a comparison of symbolic analysis and fuzz testing tools. In: Conference of the South African Institute of Computer Scientists and Information Technologists (2020). https:\/\/doi.org\/10.1145\/3410886.3410907","DOI":"10.1145\/3410886.3410907"},{"key":"28_CR7","doi-asserted-by":"publisher","unstructured":"Kolluri, A., Nikolic, I., Sergey, I., Hobor, A., Saxena, P.: Exploiting the laws of order in smart contracts. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019), pp. 363\u2013373. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3293882.3330560","DOI":"10.1145\/3293882.3330560"},{"key":"28_CR8","doi-asserted-by":"publisher","unstructured":"W\u00fcstholz, V., Christakis, M.: Harvey: a greybox fuzzer for smart contracts. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2020), pp. 1398\u20131409. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3368089.3417064","DOI":"10.1145\/3368089.3417064"},{"key":"28_CR9","doi-asserted-by":"publisher","unstructured":"Ante, L.: Smart Contracts on the Blockchain \u2013 A Bibliometric Analysis and Review, 15 April 2020. https:\/\/doi.org\/10.2139\/ssrn.3576393","DOI":"10.2139\/ssrn.3576393"},{"key":"28_CR10","doi-asserted-by":"publisher","unstructured":"Li, Y.: Finding concurrency exploits on smart contracts. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Montreal, QC, Canada, pp. 144\u2013146 (2019). https:\/\/doi.org\/10.1109\/ICSE-Companion.2019.00061","DOI":"10.1109\/ICSE-Companion.2019.00061"},{"key":"28_CR11","unstructured":"Etherscan (2024). https:\/\/etherscan.io. Accessed 01 Mar 2024"},{"key":"28_CR12","unstructured":"Torres, C.F., et al.: Towards Smart Hybrid Fuzzing for Smart Contracts. ArXiv abs\/2005.12156 (2020). n. pag"},{"key":"28_CR13","doi-asserted-by":"publisher","unstructured":"Ji, S., Dong, J., Wu, J., Lu, L.: A guided mutation strategy for smart contract fuzzing. In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME), Bogot\u00e1, Colombia, pp. 282\u2013292 (2023). https:\/\/doi.org\/10.1109\/ICSME58846.2023.00036","DOI":"10.1109\/ICSME58846.2023.00036"},{"key":"28_CR14","doi-asserted-by":"publisher","unstructured":"Tian, Z.: Smart contract defect detection based on parallel symbolic execution. In: 2019 3rd International Conference on Circuits, System and Simulation (ICCSS), Nanjing, China, pp. 127\u2013132 (2019). https:\/\/doi.org\/10.1109\/CIRSYSSIM.2019.8935603","DOI":"10.1109\/CIRSYSSIM.2019.8935603"},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"147327","DOI":"10.1109\/ACCESS.2019.2947146","volume":"7","author":"M Fu","year":"2019","unstructured":"Fu, M., Wu, L., Hong, Z., Zhu, F., Sun, H., Feng, W.: A critical-path-coverage-based vulnerability detection method for smart contracts. IEEE Access 7, 147327\u2013147344 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2947146","journal-title":"IEEE Access"},{"key":"28_CR16","unstructured":"Oyente: Oyente: An Analysis Tool for Smart Contracts (2023). https:\/\/github.com\/melonproject\/oyente"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts. In: Proceedings of the 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, 18\u201321 February 2018 (2018)","DOI":"10.14722\/ndss.2018.23082"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dan, A.M., Drachsler-Cohen, D., Gervais, A., Buenzli, F., Vechev, M.: Securify: Practical Security Analysis of Smart Contracts. CoRR abs\/1806.01143 (2018)","DOI":"10.1145\/3243734.3243780"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Torres, C.F., Iannillo, A.K., Gervais, A., State, R.: ConFuzzius: a data dependency-aware hybrid fuzzer for smart contracts. In: Proceedings of the IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, 6\u201310 September, pp. 103\u2013119. IEEE, Vienna (2021)","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"28_CR20","doi-asserted-by":"publisher","unstructured":"Ma, C., Song, W., Huang, J.: TransRacer: function dependence-guided transaction race detection for smart contracts. I: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2023), pp. 947\u2013959. Association for Computing Machinery, New York (2023). https:\/\/doi.org\/10.1145\/3611643.3616281","DOI":"10.1145\/3611643.3616281"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Innovative Mobile and Internet Services in Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64766-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T19:19:02Z","timestamp":1719775142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64766-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031647659","9783031647666"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64766-6_28","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"type":"print","value":"2367-4512"},{"type":"electronic","value":"2367-4520"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taichung","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taiwan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imis2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/imis\/2024\/conf-officers.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}