{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T22:39:49Z","timestamp":1785537589880,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"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":[[2018,12,3]]},"DOI":"10.1145\/3274694.3274737","type":"proceedings-article","created":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T02:37:37Z","timestamp":1586745457000},"page":"664-676","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":381,"title":["Osiris"],"prefix":"10.1145","author":[{"given":"Christof Ferreira","family":"Torres","sequence":"first","affiliation":[{"name":"SnT, University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Sch\u00fctte","sequence":"additional","affiliation":[{"name":"Fraunhofer AISEC, Garching, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"State","sequence":"additional","affiliation":[{"name":"SnT, University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11145-7_26"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_5_1","unstructured":"Etherscan.io. 2018. BeautyChainToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xc5d105e63711398af9bbff092d4b6769c82f793d#code  Etherscan.io. 2018. BeautyChainToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xc5d105e63711398af9bbff092d4b6769c82f793d#code"},{"key":"e_1_3_2_1_6_1","volume-title":"Ethereum Contracts with Verified Source Codes. Retrieved","year":"2018","unstructured":"Etherscan.io. 2018. Ethereum Contracts with Verified Source Codes. Retrieved June 8, 2018 from https:\/\/etherscan.io\/contractsVerified Etherscan.io. 2018. Ethereum Contracts with Verified Source Codes. Retrieved June 8, 2018 from https:\/\/etherscan.io\/contractsVerified"},{"key":"e_1_3_2_1_7_1","volume-title":"Etherscan Token Tracker Page. Retrieved","year":"2018","unstructured":"Etherscan.io. 2018. Etherscan Token Tracker Page. Retrieved June 5, 2018 from https:\/\/etherscan.io\/tokens Etherscan.io. 2018. Etherscan Token Tracker Page. Retrieved June 5, 2018 from https:\/\/etherscan.io\/tokens"},{"key":"e_1_3_2_1_8_1","unstructured":"Etherscan.io. 2018. HexagonToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xb5335e24d0ab29c190ab8c2b459238da1153ceba#code  Etherscan.io. 2018. HexagonToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xb5335e24d0ab29c190ab8c2b459238da1153ceba#code"},{"key":"e_1_3_2_1_9_1","unstructured":"Etherscan.io.2018. SmartMeshICO. Retrieved June 7 2018 from https:\/\/etherscan. io\/address\/0x55f93985431fc9304077687a35a1ba103dc1e081#code  Etherscan.io.2018. SmartMeshICO. Retrieved June 7 2018 from https:\/\/etherscan. io\/address\/0x55f93985431fc9304077687a35a1ba103dc1e081#code"},{"key":"e_1_3_2_1_10_1","unstructured":"Etherscan.io. 2018. Social Chain. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xb75a5e36cc668bc8fe468e8f272cd4a0fd0fd773#code  Etherscan.io. 2018. Social Chain. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0xb75a5e36cc668bc8fe468e8f272cd4a0fd0fd773#code"},{"key":"e_1_3_2_1_11_1","unstructured":"Etherscan.io. 2018. UselessEthereumToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0x27f706edde3ad952ef647dd67e24e38cd0803dd6#code  Etherscan.io. 2018. UselessEthereumToken. Retrieved June 7 2018 from https:\/\/etherscan.io\/address\/0x27f706edde3ad952ef647dd67e24e38cd0803dd6#code"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"e_1_3_2_1_13_1","volume-title":"Retrieved","author":"NCC Group","year":"2018","unstructured":"NCC Group . 2018 . DASP - TOP 10 . Retrieved June 15, 2018 from https:\/\/dasp.co\/#item-3 NCC Group. 2018. DASP - TOP 10. Retrieved June 15, 2018 from https:\/\/dasp.co\/#item-3"},{"key":"e_1_3_2_1_14_1","volume-title":"Retrieved","author":"Hirai Yoichi","year":"2016","unstructured":"Yoichi Hirai . 2016 . Exception on overflow - Issue #796 - ethereum\/solidity . Retrieved June 10, 2018 from https:\/\/github.com\/ethereum\/solidity\/issues\/796#issuecomment-253578925 Yoichi Hirai. 2016. Exception on overflow - Issue #796 - ethereum\/solidity. Retrieved June 10, 2018 from https:\/\/github.com\/ethereum\/solidity\/issues\/796#issuecomment-253578925"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieved","author":"Hirai Yoichi","year":"2017","unstructured":"Yoichi Hirai . 2017 . Ethereum Virtual Machine for Coq (v0.0.2) . Retrieved June 12, 2018 from https:\/\/medium.com\/@pirapira\/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18 Yoichi Hirai. 2017. Ethereum Virtual Machine for Coq (v0.0.2). Retrieved June 12, 2018 from https:\/\/medium.com\/@pirapira\/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18"},{"key":"e_1_3_2_1_17_1","volume-title":"Retrieved","author":"PeckShield Inc.","year":"2018","unstructured":"PeckShield Inc. 2018 . PeckShield Inc. - Advisories . Retrieved June 13, 2018 from https:\/\/peckshield.com\/advisories.html PeckShield Inc. 2018. PeckShield Inc. - Advisories. Retrieved June 13, 2018 from https:\/\/peckshield.com\/advisories.html"},{"key":"e_1_3_2_1_18_1","volume-title":"Zeus: Analyzing safety of smart contracts. NDSS.","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . Zeus: Analyzing safety of smart contracts. NDSS. Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. Zeus: Analyzing safety of smart contracts. NDSS."},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . Zeus Evaluation . Retrieved June 12, 2018 from https:\/\/docs.google.com\/spreadsheets\/d\/12_g-pKsCtp3lUmT2AXngsqkBGSEoE6xNH51e-of_Za8\/preview?usp=embed_googleplus#gid=1568997501 Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. Zeus Evaluation. Retrieved June 12, 2018 from https:\/\/docs.google.com\/spreadsheets\/d\/12_g-pKsCtp3lUmT2AXngsqkBGSEoE6xNH51e-of_Za8\/preview?usp=embed_googleplus#gid=1568997501"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_21_1","volume-title":"USENIX Security Symposium","volume":"9","author":"Molnar David","year":"2009","unstructured":"David Molnar , Xue Cong Li , and David Wagner . 2009 . Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs .. In USENIX Security Symposium , Vol. 9 . 67--82. David Molnar, Xue Cong Li, and David Wagner. 2009. Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs.. In USENIX Security Symposium, Vol. 9. 67--82."},{"key":"e_1_3_2_1_22_1","volume-title":"Retrieved","author":"Mueller Bernhard","year":"2018","unstructured":"Bernhard Mueller . 2018 . Detecting Integer Overflows in Ethereum Smart Contracts . Retrieved June 12, 2018 from https:\/\/bit.ly\/2JIp9ea Bernhard Mueller. 2018. Detecting Integer Overflows in Ethereum Smart Contracts. Retrieved June 12, 2018 from https:\/\/bit.ly\/2JIp9ea"},{"key":"e_1_3_2_1_23_1","unstructured":"Bernhard Mueller. 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit. (2018).  Bernhard Mueller. 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit. (2018)."},{"key":"e_1_3_2_1_24_1","volume-title":"Practical Integer Overflow Prevention","author":"Muntean Paul","year":"2018","unstructured":"Paul Muntean , Jens Grosklags , and Claudia Eckert . 2018. Practical Integer Overflow Prevention . In IEEE TSE journal (under review) ( 2018 ). https:\/\/arxiv.org\/abs\/1710.03720 Paul Muntean, Jens Grosklags, and Claudia Eckert. 2018. Practical Integer Overflow Prevention. In IEEE TSE journal (under review) (2018). https:\/\/arxiv.org\/abs\/1710.03720"},{"key":"e_1_3_2_1_25_1","volume-title":"Finding the greedy, prodigal, and suicidal contracts at scale. arXiv preprint arXiv:1802.06038","author":"Nikolic Ivica","year":"2018","unstructured":"Ivica Nikolic , Aashish Kolluri , Ilya Sergey , Prateek Saxena , and Aquinas Hobor . 2018. Finding the greedy, prodigal, and suicidal contracts at scale. arXiv preprint arXiv:1802.06038 ( 2018 ). Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018. Finding the greedy, prodigal, and suicidal contracts at scale. arXiv preprint arXiv:1802.06038 (2018)."},{"key":"e_1_3_2_1_26_1","volume-title":"Retrieved","author":"Bits Trail","year":"2018","unstructured":"Trail of Bits . 2018 . Manticore - Symbolic execution tool . Retrieved June 12, 2018 from https:\/\/github.com\/trailofbits\/manticore Trail of Bits. 2018. Manticore - Symbolic execution tool. Retrieved June 12, 2018 from https:\/\/github.com\/trailofbits\/manticore"},{"key":"e_1_3_2_1_27_1","volume-title":"Retrieved","year":"2018","unstructured":"OpenZeppelin. 2018 . OpenZeppelin\/openzeppelin-solidity . Retrieved June 12, 2018 from https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\/blob\/master\/contracts\/math\/SafeMath.sol OpenZeppelin. 2018. OpenZeppelin\/openzeppelin-solidity. Retrieved June 12, 2018 from https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\/blob\/master\/contracts\/math\/SafeMath.sol"},{"key":"e_1_3_2_1_28_1","volume-title":"Retrieved","author":"Petrov Sergey","year":"2017","unstructured":"Sergey Petrov . 2017 . Another Parity Wallet hack explained . Retrieved June 13, 2018 from https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c Sergey Petrov. 2017. Another Parity Wallet hack explained. Retrieved June 13, 2018 from https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664282"},{"key":"e_1_3_2_1_30_1","volume-title":"Retrieved","author":"Reitwiessner Christian","year":"2018","unstructured":"Christian Reitwiessner . 2018 . Formal Verification for Solidity Contracts . Retrieved June 12, 2018 from https:\/\/forum.ethereum.org\/discussion\/3779\/formal-verification-for-solidity-contracts Christian Reitwiessner. 2018. Formal Verification for Solidity Contracts. Retrieved June 12, 2018 from https:\/\/forum.ethereum.org\/discussion\/3779\/formal-verification-for-solidity-contracts"},{"key":"e_1_3_2_1_31_1","volume-title":"Retrieved","author":"Siegel David","year":"2016","unstructured":"David Siegel . 2016 . Understanding The DAO Attack . Retrieved June 13, 2018 from https:\/\/www.coindesk.com\/understanding-dao-hack-journalists\/ David Siegel. 2016. Understanding The DAO Attack. Retrieved June 13, 2018 from https:\/\/www.coindesk.com\/understanding-dao-hack-journalists\/"},{"key":"e_1_3_2_1_32_1","unstructured":"Solidity. 2018. Solidity 0.4.24 documentation. Retrieved June 9 2018 from http:\/\/solidity.readthedocs.io\/en\/v0.4.24\/  Solidity. 2018. Solidity 0.4.24 documentation. Retrieved June 9 2018 from http:\/\/solidity.readthedocs.io\/en\/v0.4.24\/"},{"key":"e_1_3_2_1_33_1","volume-title":"Arthur Gervais, Florian Buenzli, and Martin Vechev.","author":"Tsankov Petar","year":"2018","unstructured":"Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 . Securify : Practical Security Analysis of Smart Contracts . arXivpreprint arXiv:1806.01143 (2018). Petar Tsankov, Andrei Dan, Dana Drachsler Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018. Securify: Practical Security Analysis of Smart Contracts. arXivpreprint arXiv:1806.01143 (2018)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"e_1_3_2_1_35_1","volume-title":"ERC-20 Token Standard. Retrieved","author":"Vogelsteller Fabian","year":"2018","unstructured":"Fabian Vogelsteller and Vitalik Buterin . 2015. ERC-20 Token Standard. Retrieved June 7, 2018 from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-20.md Fabian Vogelsteller and Vitalik Buterin. 2015. ERC-20 Token Standard. Retrieved June 7, 2018 from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-20.md"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2009","author":"Wang Tielei","year":"2009","unstructured":"Tielei Wang , Tao Wei , Zhiqiang Lin , and Wei Zou . 2009 . IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution . In Proceedings of the Network and Distributed System Security Symposium, NDSS 2009 , San Diego, California, USA, 8th February - 11th February 2009. The Internet Society. http:\/\/www.isoc.org\/isoc\/conferences\/ndss\/09\/pdf\/17.pdf Tielei Wang, Tao Wei, Zhiqiang Lin, and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2009, San Diego, California, USA, 8th February - 11th February 2009. The Internet Society. http:\/\/www.isoc.org\/isoc\/conferences\/ndss\/09\/pdf\/17.pdf"},{"key":"e_1_3_2_1_37_1","first-page":"163","article-title":"Improving Integer Security for Systems with KINT","volume":"12","author":"Wang Xi","year":"2012","unstructured":"Xi Wang , Haogang Chen , Zhihao Jia , Nickolai Zeldovich , and M Frans Kaashoek . 2012 . Improving Integer Security for Systems with KINT .. In OSDI , Vol. 12. 163 -- 177 . Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M Frans Kaashoek. 2012. Improving Integer Security for Systems with KINT.. In OSDI, Vol. 12. 163--177.","journal-title":"OSDI"},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A secure decentralised generalised transaction ledger . Ethereum Project Yellow Paper 151 (2014), 1 -- 32 . Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151 (2014), 1--32.","journal-title":"Ethereum Project Yellow Paper"}],"event":{"name":"ACSAC '18: 2018 Annual Computer Security Applications Conference","location":"San Juan PR USA","acronym":"ACSAC '18","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 34th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274737","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3274694.3274737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:56Z","timestamp":1750208276000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3274694.3274737"}},"subtitle":["Hunting for Integer Bugs in Ethereum Smart Contracts"],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":38,"alternative-id":["10.1145\/3274694.3274737","10.1145\/3274694"],"URL":"https:\/\/doi.org\/10.1145\/3274694.3274737","relation":{},"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"2018-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}