{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:12Z","timestamp":1750309572274,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T00:00:00Z","timestamp":1731024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,8]]},"DOI":"10.1145\/3716895.3716931","type":"proceedings-article","created":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T12:08:41Z","timestamp":1742558921000},"page":"198-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Checking Smart Contract Vulnerabilities in Blockchain-based Internet of Drones"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0246-2618","authenticated-orcid":false,"given":"Xiaohai","family":"Ji","sequence":"first","affiliation":[{"name":"School of Electronics and Information Engineering, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6290-2171","authenticated-orcid":false,"given":"Zequan","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Electronics and Information Engineering, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0015-8444","authenticated-orcid":false,"given":"Ting","family":"He","sequence":"additional","affiliation":[{"name":"School of Electronics and Information Engineering, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3443-6940","authenticated-orcid":false,"given":"Xiling","family":"Luo","sequence":"additional","affiliation":[{"name":"Hangzhou Innovation Institute, School of Electronics and Information Engineering, State Key Laboratory of CNS\/ATM, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9791-6717","authenticated-orcid":false,"given":"Junjun","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Electronics and Information Engineering, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3744-5440","authenticated-orcid":false,"given":"Zhiqin","family":"Huo","sequence":"additional","affiliation":[{"name":"Hangzhou Innovation Institute, BeiHang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,3,21]]},"reference":[{"issue":"3","key":"e_1_3_3_1_1_2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.3390\/admsci12030096","article-title":"Blockchain technology and smart contracts in decentralized governance systems","volume":"12","author":"Balcerzak A. P.","year":"2022","unstructured":"A. P. Balcerzak, E. Nica, E. Rogalska, M. Poliak, T. Klie\u0161tik, and O.- M. Sabie, \u201cBlockchain technology and smart contracts in decentralized governance systems\u201d Administrative Sciences, vol. 12, no. 3, p. 96, 2022.","journal-title":"Administrative Sciences"},{"key":"e_1_3_3_1_2_2","volume-title":"NDSS","author":"Sendner C.","year":"2023","unstructured":"C. Sendner, H. Chen, H. Fereidooni, L. Petzi, J. K\u00f6nig, J. Stang, A. Dmitrienko, A.-R. Sadeghi, and F. Koushanfar, \u201cSmarter contracts: Detecting vulnerabilities in smart contracts with deep transfer learning.\u201d in NDSS, 2023."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","first-page":"107583","DOI":"10.1016\/j.compeleceng.2021.107583","article-title":"Deep learning- based malicious smart contract detection scheme for internet of things environment","volume":"97","author":"Gupta R.","year":"2022","unstructured":"R. Gupta, M. M. Patel, A. Shukla, and S. Tanwar, \u201cDeep learning- based malicious smart contract detection scheme for internet of things environment,\u201d Computers & Electrical Engineering, vol. 97, p. 107583, 2022.","journal-title":"Computers & Electrical Engineering"},{"volume-title":"Blockchain: research and applications","author":"Guo H.","key":"e_1_3_3_1_4_2","unstructured":"H. Guo and X. Yu, \u201cA survey on blockchain technology and its security,\u201d Blockchain: research and applications, vol. 3, no. 2, p. 100067, 2022."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.109402"},{"key":"e_1_3_3_1_6_2","first-page":"16","volume-title":"2023 IEEE\/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB). IEEE","author":"Munir S.","year":"2023","unstructured":"S. Munir and C. Reichenbach, \u201cTodler: A transaction ordering depen- dency analyzer-for ethereum smart contracts,\u201d in 2023 IEEE\/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB). IEEE, 2023, pp. 9\u201316."},{"key":"e_1_3_3_1_7_2","article-title":"Detection of vulnera- bilities of blockchain smart contracts","author":"He D.","year":"2023","unstructured":"D. He, R. Wu, X. Li, S. Chan, and M. Guizani, \u201cDetection of vulnera- bilities of blockchain smart contracts,\u201d IEEE Internet of Things Journal, 2023.","journal-title":"IEEE Internet of Things Journal"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_3_1_9_2","volume-title":"Smart contract vulnerability detection technique: A survey","author":"Qian P.","year":"2022","unstructured":"P. Qian, Z. Liu, Q. He, B. Huang, D. Tian, and X. Wang, \u201cSmart contract vulnerability detection technique: A survey,\u201d arXiv preprint arXiv:2209.05872, 2022."},{"key":"e_1_3_3_1_10_2","first-page":"676","volume-title":"Proceedings of the 34th Annual Computer Security Applications Conference","author":"Torres C. F.","year":"2018","unstructured":"C. F. Torres, J. Schutte, and R. State, \u201cOsiris: Hunting for integer bugs inethereum smart contracts,\u201d in Proceedings of the 34th Annual Computer Security Applications Conference, 2018, pp. 664\u2013676."},{"key":"e_1_3_3_1_11_2","first-page":"1607","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Torres C. F.","year":"2019","unstructured":"C. F. Torres, M. Steichen et al., \u201cThe art of the scam: Demystifying honeypots in ethereum smart contracts,\u201d in 28th USENIX Security Symposium (USENIX Security 19), 2019, pp. 1591\u20131607."},{"key":"e_1_3_3_1_12_2","first-page":"937","volume-title":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE","author":"Jiang B.","year":"2021","unstructured":"B. Jiang, Y. Chen, D. Wang, I. Ashraf, and W. Chan, \u201cWana: Symbolic execution of wasm bytecode for extensible smart contract vulnerability detection,\u201d in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 2021, pp. 926\u2013937."},{"key":"e_1_3_3_1_13_2","first-page":"3234","volume-title":"2022 IEEE International Conference on Big Data (Big Data). IEEE","author":"Yao Y.","year":"2022","unstructured":"Y. Yao, H. Li, X. Yang, and Y. Le, \u201cAn improved vulnerability detection system of smart contracts based on symbolic execution,\u201d in 2022 IEEE International Conference on Big Data (Big Data). IEEE, 2022, pp. 3225\u20133234."},{"key":"e_1_3_3_1_14_2","first-page":"751","volume-title":"31st ACM SIGSOFT International Symposium on SoftwareTesting and Analysis","author":"Zheng P.","year":"2022","unstructured":"P. Zheng, Z. Zheng, and X. Luo, \u201cPark: Accelerating smart contract vulnerability detection via parallel-fork symbolic execution,\u201d in Proceed- ings of the 31st ACM SIGSOFT International Symposium on SoftwareTesting and Analysis, 2022, pp. 740\u2013751."},{"key":"e_1_3_3_1_15_2","first-page":"1691","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Lin S.-W.","year":"2022","unstructured":"S.-W. Lin, P. Tolmach, Y. Liu, and Y. Li, \u201cSolsee: a source-level symbolic execution engine for solidity,\u201d in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022, pp. 1687\u20131691."},{"key":"e_1_3_3_1_16_2","first-page":"139","volume-title":"Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure","author":"Wang Y.","year":"2023","unstructured":"Y. Wang, J. Zhao, Y. Zhang, X. Hei, and L. Zhu, \u201cSmart contract symbol execution vulnerability detection method based on cfg path pruning,\u201d in Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2023, pp. 132\u2013139."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.08.007"},{"key":"e_1_3_3_1_18_2","first-page":"178","volume-title":"2022 IEEE Symposium on Security and Privacy (SP). IEEE","author":"Bose P.","year":"2022","unstructured":"P. Bose, D. Das, Y. Chen, Y. Feng, C. Kruegel, and G. Vigna, \u201cSailfish: Vetting smart contract state-inconsistency bugs in seconds,\u201d in 2022 IEEE Symposium on Security and Privacy (SP). IEEE, 2022, pp. 161\u2013 178."},{"key":"e_1_3_3_1_19_2","first-page":"5140","volume-title":"ICC 2023- IEEE International Conference on Communications. IEEE","author":"Cao Y.","year":"2023","unstructured":"Y. Cao, F. Jiang, J. Xiao, S. Chen, W. Yang, and Y. Yi, \u201cData flow-driven and attention mechanism-enabled smart contract vulnerability detection for secure and green blockchain-based service networks,\u201d in ICC 2023- IEEE International Conference on Communications. IEEE, 2023, pp. 5135\u20135140."},{"key":"e_1_3_3_1_20_2","volume-title":"Mythril-reversing and bug hunting framework for the ethereum blockchain","author":"Mueller B.","year":"2017","unstructured":"B. Mueller, \u201cMythril-reversing and bug hunting framework for the ethereum blockchain,\u201d 2017."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/2897565"}],"event":{"name":"ICAICE 2024: The 5th International Conference on Artificial Intelligence and Computer Engineering","acronym":"ICAICE 2024","location":"Wuhu Shandong China"},"container-title":["Proceedings of the 5th International Conference on Artificial Intelligence and Computer Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716895.3716931","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716895.3716931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:19:16Z","timestamp":1750295956000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716895.3716931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,8]]},"references-count":21,"alternative-id":["10.1145\/3716895.3716931","10.1145\/3716895"],"URL":"https:\/\/doi.org\/10.1145\/3716895.3716931","relation":{},"subject":[],"published":{"date-parts":[[2024,11,8]]},"assertion":[{"value":"2025-03-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}