{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T09:32:10Z","timestamp":1776850330903,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T00:00:00Z","timestamp":1578614400000},"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":[[2020,1,10]]},"DOI":"10.1145\/3377644.3377650","type":"proceedings-article","created":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T08:16:17Z","timestamp":1582704977000},"page":"110-115","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Static Analysis of Integer Overflow of Smart Contracts in Ethereum"],"prefix":"10.1145","author":[{"given":"Enmei","family":"Lai","sequence":"first","affiliation":[{"name":"School of Computer Science and, Technology, Chongqing University of Posts and Telecommunications, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjun","family":"Luo","sequence":"additional","affiliation":[{"name":"School of Cyber Security and, Information Law, Chongqing University of Posts and, Telecommunications, Chongqing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,26]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"Smart contracts: building blocks for digital markets. EXTROPY","author":"Szabo N.","year":"1996","unstructured":"Szabo N. 1996 . Smart contracts: building blocks for digital markets. EXTROPY : The Journal of Transhumanist Thought. Szabo N. 1996. Smart contracts: building blocks for digital markets. EXTROPY: The Journal of Transhumanist Thought.","journal-title":"The Journal of Transhumanist Thought."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS'16","author":"Bhargavan K","unstructured":"Bhargavan K , Delignat-Lavaud A , Fournet C , 2016. Formal verification of smart contracts . In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS'16 . 91--96 Bhargavan K, Delignat-Lavaud A, Fournet C, et al. 2016. Formal verification of smart contracts. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS'16. 91--96"},{"key":"e_1_3_2_1_3_1","volume-title":"Defining the Ethereum Virtual Machine for Interactive Theorem Provers. International Conference on Financial Cryptography and Data Security. Springer, Cham, 520--535","author":"Hirai Y.","year":"2017","unstructured":"Hirai Y. 2017 . Defining the Ethereum Virtual Machine for Interactive Theorem Provers. International Conference on Financial Cryptography and Data Security. Springer, Cham, 520--535 . Hirai Y. 2017. Defining the Ethereum Virtual Machine for Interactive Theorem Provers. International Conference on Financial Cryptography and Data Security. Springer, Cham, 520--535."},{"key":"e_1_3_2_1_4_1","volume-title":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).442--446","author":"Chen Ting","year":"2017","unstructured":"Chen Ting , Li Xiaqi, Luo Xiapu , et al. 2017 . Underoptimized smart contracts devour your money . In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).442--446 . Chen Ting, Li Xiaqi, Luo Xiapu, et al. 2017. Underoptimized smart contracts devour your money. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).442--446."},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Principles of Security and Trust. Springer, 164--186","author":"Atzei N","unstructured":"Atzei N , Bartoleti M , and Cimoli T . 2017. A Survey of Atacks on Ethereum Smart Contracts (SoK) . In International Conference on Principles of Security and Trust. Springer, 164--186 . Atzei N, Bartoleti M, and Cimoli T. 2017. A Survey of Atacks on Ethereum Smart Contracts (SoK). In International Conference on Principles of Security and Trust. Springer, 164--186."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1st ACM\/IEEE International Workshop on Emerging Trends in Software Engineering for Blockchain. ACM","author":"Tikhomirov S","unstructured":"Tikhomirov S , Voskresenskaya E , Ivanitskiy I , 2018. SmartCheck: Static Analysis of Ethereum Smart Contracts . In Proceedings of the 1st ACM\/IEEE International Workshop on Emerging Trends in Software Engineering for Blockchain. ACM , New York, NY, USA, 8 pages. Tikhomirov S, Voskresenskaya E, Ivanitskiy I, et al. 2018. SmartCheck: Static Analysis of Ethereum Smart Contracts. In Proceedings of the 1st ACM\/IEEE International Workshop on Emerging Trends in Software Engineering for Blockchain. ACM, New York, NY, USA, 8 pages."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 20th International Conference on Information Integration and Web-Based Applications and Services. ACM, 375--380","author":"Alexander M","year":"2018","unstructured":"Alexander M , Markus F. 2018 . Security vulnerabilities in ethereum smart contracts . In Proceedings of the 20th International Conference on Information Integration and Web-Based Applications and Services. ACM, 375--380 . Alexander M, Markus F. 2018. Security vulnerabilities in ethereum smart contracts. In Proceedings of the 20th International Conference on Information Integration and Web-Based Applications and Services. ACM, 375--380."},{"key":"e_1_3_2_1_8_1","volume-title":"Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts. In 2018 Annual Computer Security Applications Conference. ACM","author":"Torres C","unstructured":"Torres C , Sch\u00fctte J , and State R . 2018 . Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts. In 2018 Annual Computer Security Applications Conference. ACM , New York, NY, USA, 13. Torres C, Sch\u00fctte J, and State R. 2018. Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts. In 2018 Annual Computer Security Applications Conference. ACM, New York, NY, USA, 13."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM, 254--269","author":"Luu L","unstructured":"Luu L , Chu D H , Olickel H , 2016. Making smart contracts smarter . In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM, 254--269 . Luu L, Chu D H, Olickel H, et al. 2016. Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM, 254--269."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 40th International Conference on Software Engineering Companion. IEEE Press. 65--68","author":"Chao L","unstructured":"Chao L , Han L , Zhong C , 2018. ReGuard: Finding Reentrancy Bugs in Smart Contracts . In Proceedings of the 40th International Conference on Software Engineering Companion. IEEE Press. 65--68 . Chao L, Han L, Zhong C, et al. 2018. ReGuard: Finding Reentrancy Bugs in Smart Contracts. In Proceedings of the 40th International Conference on Software Engineering Companion. IEEE Press. 65--68."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 33rd IEEE\/ACM International Conference on Automated Software Engineering","author":"Bo J","year":"2018","unstructured":"Bo J , Ye L , and W.K. C. 2018 . ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection . In Proceedings of the 33rd IEEE\/ACM International Conference on Automated Software Engineering . Montpellier, France,10. Bo J, Ye L, and W.K. C. 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In Proceedings of the 33rd IEEE\/ACM International Conference on Automated Software Engineering. Montpellier, France,10."},{"key":"e_1_3_2_1_12_1","volume-title":"Securify: Practical Security Analysis of Smart Contracts. arXiv preprint arXiv:1806.01143","author":"Tsankov P","year":"2018","unstructured":"Tsankov P , Dan A , Cohen D , 2018 . Securify: Practical Security Analysis of Smart Contracts. arXiv preprint arXiv:1806.01143 (2018). Tsankov P, Dan A, Cohen D, et al. 2018. Securify: Practical Security Analysis of Smart Contracts. arXiv preprint arXiv:1806.01143 (2018)."}],"event":{"name":"ICCSP 2020: 2020 4th International Conference on Cryptography, Security and Privacy","location":"Nanjing China","acronym":"ICCSP 2020","sponsor":["NJU Nanjing University"]},"container-title":["Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377644.3377650","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377644.3377650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:53Z","timestamp":1750203893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377644.3377650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,10]]},"references-count":12,"alternative-id":["10.1145\/3377644.3377650","10.1145\/3377644"],"URL":"https:\/\/doi.org\/10.1145\/3377644.3377650","relation":{},"subject":[],"published":{"date-parts":[[2020,1,10]]},"assertion":[{"value":"2020-02-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}