{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T05:41:14Z","timestamp":1772343674047,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key R&D Program of China","award":["2021YFB2700603"],"award-info":[{"award-number":["2021YFB2700603"]}]},{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172405, 62072487, 62227805, 62072398"],"award-info":[{"award-number":["62172405, 62072487, 62227805, 62072398"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3691365","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"5072-5074","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2195-0799","authenticated-orcid":false,"given":"Zhaoxuan","family":"Li","sequence":"first","affiliation":[{"name":"Institute of Information Engineering, CAS & School of Cyber Security, UCAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1455-4330","authenticated-orcid":false,"given":"Ziming","family":"Zhao","sequence":"additional","affiliation":[{"name":"Zhejiang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2268-7416","authenticated-orcid":false,"given":"Wenhao","family":"Li","sequence":"additional","affiliation":[{"name":"China Telecom Corp Ltd, Guangdong Research Institute, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0002-5593","authenticated-orcid":false,"given":"Rui","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, CAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6024-3635","authenticated-orcid":false,"given":"Rui","family":"Xue","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, CAS, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8593-9636","authenticated-orcid":false,"given":"Siqi","family":"Lu","sequence":"additional","affiliation":[{"name":"Information Engineering University, Zhengzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6087-8243","authenticated-orcid":false,"given":"Fan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode","author":"Chen Jiachi","year":"2020","unstructured":"Jiachi Chen, Xin Xia, et al. 2020. DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode. IEEE Trans. Software Eng. (2020)."},{"key":"e_1_3_2_1_2_1","volume-title":"SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses","author":"Choi Jaeseung","year":"2021","unstructured":"Jaeseung Choi, Doyeon Kim, et al. 2021. SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. In ASE. IEEE, 227--239."},{"key":"e_1_3_2_1_3_1","volume-title":"Bj\u00f8rner","author":"de Moura Leonardo Mendoncca","year":"2008","unstructured":"Leonardo Mendoncca de Moura and Nikolaj S. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS, Vol. 4963. Springer, 337--340."},{"key":"e_1_3_2_1_4_1","volume-title":"Jo ao F. Ferreira, et al","author":"Durieux Thomas","year":"2020","unstructured":"Thomas Durieux, Jo ao F. Ferreira, et al. 2020. Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. In ICSE. ACM, 530--541."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Josselin Feist Gustavo Grieco et al. 2019. Slither: a static analysis framework for smart contracts. In WETSEB@ICSE. IEEE \/ ACM 8--15.","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Jingxuan He Mislav Balunovic et al. 2019. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In CCS. ACM 531--548.","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10218-2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3317209"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel et al. 2016. Making Smart Contracts Smarter. In CCS. ACM 254--269.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_10_1","volume-title":"Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts","author":"Mark Mossberg","year":"2019","unstructured":"Mark Mossberg et al. 2019. Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. In ASE. IEEE, 1186--1189."},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security Symposium. USENIX Association, 1361--1378","author":"Sunbeom","unstructured":"Sunbeom So et al. 2021. SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. In USENIX Security Symposium. USENIX Association, 1361--1378."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Sergei Tikhomirov et al. 2018. SmartCheck: Static Analysis of Ethereum Smart Contracts. In WETSEB@ICSE. ACM 9--16.","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_13_1","volume-title":"Andrei Marian Dan, et al","author":"Tsankov Petar","year":"2018","unstructured":"Petar Tsankov, Andrei Marian Dan, et al. 2018. Securify: Practical Security Analysis of Smart Contracts. In CCS. ACM, 67--82."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Meng Wang Weiliang Fei et al. 2023. Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. In APSEC. IEEE 91--100.","DOI":"10.1109\/APSEC60848.2023.00019"},{"key":"e_1_3_2_1_15_1","first-page":"314","article-title":"ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection","volume":"13","author":"Xinming Wang","year":"2020","unstructured":"Xinming Wang et al. 2020. ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection. IEEE TSC, Vol. 13, 2 (2020), 314--328.","journal-title":"IEEE TSC"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Yuan Zhuang Zhenguang Liu et al. 2020. Smart Contract Vulnerability Detection using Graph Neural Network. In IJCAI. ijcai.org 3283--3290.","DOI":"10.24963\/ijcai.2020\/454"}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","location":"Salt Lake City UT USA","acronym":"CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3691365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:20:40Z","timestamp":1755843640000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":16,"alternative-id":["10.1145\/3658644.3691365","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3691365","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}