{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:19:34Z","timestamp":1776889174730,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,26]],"date-time":"2022-10-26T00:00:00Z","timestamp":1666742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["13192291"],"award-info":[{"award-number":["13192291"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,26]]},"DOI":"10.1145\/3545948.3545975","type":"proceedings-article","created":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T11:21:49Z","timestamp":1666005709000},"page":"115-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts"],"prefix":"10.1145","author":[{"given":"Christof","family":"Ferreira Torres","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]},{"given":"Hugo","family":"Jonker","sequence":"additional","affiliation":[{"name":"Open University of the Netherlands, Netherlands"}]},{"given":"Radu","family":"State","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2022,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain.2019.00059"},{"key":"e_1_3_2_1_3_1","volume-title":"Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981(2018).","author":"Brent Lexi","year":"2018","unstructured":"Lexi Brent , Anton Jurisevic , Michael Kong , Eric Liu , Francois Gauthier , Vincent Gramoli , Ralph Holz , and Bernhard Scholz . 2018 . Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981(2018). Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981(2018)."},{"key":"e_1_3_2_1_4_1","volume-title":"Horus: A framework to detect attacks and trace stolen assets across Ethereum (FC","author":"Torres C.","year":"2021","unstructured":"C. Torres . 2021 . Horus: A framework to detect attacks and trace stolen assets across Ethereum (FC 2021). Retrieved August 6, 2021 from https:\/\/github.com\/christoftorres\/Horus C. Torres. 2021. Horus: A framework to detect attacks and trace stolen assets across Ethereum (FC 2021). Retrieved August 6, 2021 from https:\/\/github.com\/christoftorres\/Horus"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24449"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.150"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Filippo Contro Marco Crosara Mariano Ceccato and Mila\u00a0Dalla Preda. 2021. EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. arXiv preprint arXiv:2103.09113(2021).  Filippo Contro Marco Crosara Mariano Ceccato and Mila\u00a0Dalla Preda. 2021. EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. arXiv preprint arXiv:2103.09113(2021).","DOI":"10.1109\/ICPC52881.2021.00021"},{"key":"e_1_3_2_1_8_1","unstructured":"Cornell Blockchain. 2018. Bamboo: a language for morphing smart contracts. https:\/\/github.com\/CornellBlockchain\/bamboo.  Cornell Blockchain. 2018. Bamboo: a language for morphing smart contracts. https:\/\/github.com\/CornellBlockchain\/bamboo."},{"key":"e_1_3_2_1_9_1","volume-title":"Pioneers and Their Contributions to Software Engineering","author":"Dijkstra W","unstructured":"Edsger\u00a0 W Dijkstra . 2001. Solution of a problem in concurrent programming control . In Pioneers and Their Contributions to Software Engineering . Springer , 289\u2013294. Edsger\u00a0W Dijkstra. 2001. Solution of a problem in concurrent programming control. In Pioneers and Their Contributions to Software Engineering. Springer, 289\u2013294."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384756"},{"key":"e_1_3_2_1_11_1","volume-title":"The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. In International Conference on Financial Cryptography and Data Security.","author":"Ferreira\u00a0Torres Christof","unstructured":"Christof Ferreira\u00a0Torres , Antonio\u00a0Ken Iannillo , Arthur Gervais , and R. State . 2021 . The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. In International Conference on Financial Cryptography and Data Security. Christof Ferreira\u00a0Torres, Antonio\u00a0Ken Iannillo, Arthur Gervais, and R. State. 2021. The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. In International Conference on Financial Cryptography and Data Security."},{"key":"e_1_3_2_1_12_1","volume-title":"ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE.","author":"Ferreira\u00a0Torres Christof","year":"2021","unstructured":"Christof Ferreira\u00a0Torres , Antonio\u00a0Ken Iannillo , Arthur Gervais , and Radu State . 2021 . ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE. Christof Ferreira\u00a0Torres, Antonio\u00a0Ken Iannillo, Arthur Gervais, and Radu State. 2021. ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_3_2_1_14_1","volume-title":"The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Ferreira\u00a0Torres Christof","year":"2019","unstructured":"Christof Ferreira\u00a0Torres , Mathis Steichen , and Radu State . 2019 . The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts. In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association, Santa Clara, CA, 1591\u20131607. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/ferreira Christof Ferreira\u00a0Torres, Mathis Steichen, and Radu State. 2019. The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA, 1591\u20131607. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/ferreira"},{"key":"e_1_3_2_1_15_1","volume-title":"ETHBMC: A Bounded Model Checker for Smart Contracts. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Frank Joel","year":"2020","unstructured":"Joel Frank , Cornelius Aschermann , and Thorsten Holz . 2020 . ETHBMC: A Bounded Model Checker for Smart Contracts. In 29th USENIX Security Symposium (USENIX Security 20) . Joel Frank, Cornelius Aschermann, and Thorsten Holz. 2020. ETHBMC: A Bounded Model Checker for Smart Contracts. In 29th USENIX Security Symposium (USENIX Security 20)."},{"key":"e_1_3_2_1_16_1","unstructured":"G. Wood. 2021. Solidity \u2013 Solidity 0.8.6 documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.6\/.  G. Wood. 2021. Solidity \u2013 Solidity 0.8.6 documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.6\/."},{"key":"e_1_3_2_1_17_1","volume-title":"Retrieved","year":"2022","unstructured":"Google. 2022 . BigQuery - Ethereum Dataset . Retrieved March 31, 2022 from https:\/\/console.cloud.google.com\/bigquery?project=bigquery-public-data&d=crypto_ethereum&p=bigquery-public-data&page=dataset Google. 2022. BigQuery - Ethereum Dataset. Retrieved March 31, 2022 from https:\/\/console.cloud.google.com\/bigquery?project=bigquery-public-data&d=crypto_ethereum&p=bigquery-public-data&page=dataset"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM on Programming Languages 2, POPL(2017)","author":"Grossman Shelly","year":"2017","unstructured":"Shelly Grossman , Ittai Abraham , Guy Golan-Gueta , Yan Michalevsky , Noam Rinetzky , Mooly Sagiv , and Yoni Zohar . 2017 . Online detection of effectively callback free objects with applications to smart contracts . Proceedings of the ACM on Programming Languages 2, POPL(2017) , 1\u201328. Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, and Yoni Zohar. 2017. Online detection of effectively callback free objects with applications to smart contracts. Proceedings of the ACM on Programming Languages 2, POPL(2017), 1\u201328."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_20_1","unstructured":"J. Feist. 2021. EVM CFG BUILDER \u2013 EVM CFG recovery. https:\/\/github.com\/crytic\/evm_cfg_builder.  J. Feist. 2021. EVM CFG BUILDER \u2013 EVM CFG recovery. https:\/\/github.com\/crytic\/evm_cfg_builder."},{"key":"e_1_3_2_1_21_1","unstructured":"J. Little. 2020. pyevmasm \u2013 Ethereum Virtual Machine (EVM) disassembler and assembler. https:\/\/github.com\/crytic\/pyevmasm.  J. Little. 2020. pyevmasm \u2013 Ethereum Virtual Machine (EVM) disassembler and assembler. https:\/\/github.com\/crytic\/pyevmasm."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_23_1","volume-title":"Zeus: Analyzing safety of smart contracts. In NDSS.","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . Zeus: Analyzing safety of smart contracts. In NDSS. Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. Zeus: Analyzing safety of smart contracts. In NDSS."},{"key":"e_1_3_2_1_24_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow . 2018 . teether: Gnawing at ethereum to automatically exploit smart contracts . In 27th USENIX Security Symposium (USENIX Security 18) . 1317\u20131333. Johannes Krupp and Christian Rossow. 2018. teether: Gnawing at ethereum to automatically exploit smart contracts. In 27th USENIX Security Symposium (USENIX Security 18). 1317\u20131333."},{"key":"e_1_3_2_1_25_1","unstructured":"LLL. 2021. Ethereum Low-level Lisp-like Language. https:\/\/lll-docs.readthedocs.io\/en\/latest\/index.html.  LLL. 2021. Ethereum Low-level Lisp-like Language. https:\/\/lll-docs.readthedocs.io\/en\/latest\/index.html."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_27_1","volume-title":"9th annual HITB Security Conference.","author":"Mueller Bernhard","unstructured":"Bernhard Mueller . 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit . In 9th annual HITB Security Conference. Bernhard Mueller. 2018. Smashing Ethereum Smart Contracts for Fun and Real Profit. In 9th annual HITB Security Conference."},{"key":"e_1_3_2_1_28_1","volume-title":"Decentralized Application Security Project (DASP) Top 10. Retrieved","author":"NCC Group","year":"2021","unstructured":"NCC Group . 2018. Decentralized Application Security Project (DASP) Top 10. Retrieved August 5, 2021 from https:\/\/dasp.co\/index.html NCC Group. 2018. Decentralized Application Security Project (DASP) Top 10. Retrieved August 5, 2021 from https:\/\/dasp.co\/index.html"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Tai\u00a0D Nguyen Long\u00a0H Pham and Jun Sun. 2021. sGuard: Towards Fixing Vulnerable Smart Contracts Automatically. arXiv preprint arXiv:2101.01917(2021).  Tai\u00a0D Nguyen Long\u00a0H Pham and Jun Sun. 2021. sGuard: Towards Fixing Vulnerable Smart Contracts Automatically. arXiv preprint arXiv:2101.01917(2021).","DOI":"10.1109\/SP40001.2021.00057"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","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).","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_31_1","unstructured":"OpenZeppelin. 2021. openzeppelin-contracts\/contracts\/utils\/math\/SafeMath. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/blob\/master\/contracts\/utils\/math\/SafeMath.sol.  OpenZeppelin. 2021. openzeppelin-contracts\/contracts\/utils\/math\/SafeMath. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/blob\/master\/contracts\/utils\/math\/SafeMath.sol."},{"key":"e_1_3_2_1_32_1","unstructured":"OpenZeppelin Docs. 2021. Writing Upgradeable Contracts. https:\/\/docs.openzeppelin.com\/upgrades-plugins\/1.x\/writing-upgradeable.  OpenZeppelin Docs. 2021. Writing Upgradeable Contracts. https:\/\/docs.openzeppelin.com\/upgrades-plugins\/1.x\/writing-upgradeable."},{"key":"e_1_3_2_1_33_1","unstructured":"Martin Ortner and Shayan Eskandari. [n. d.]. Smart Contract Sanctuary. ([n. d.]). https:\/\/github.com\/tintinweb\/smart-contract-sanctuary  Martin Ortner and Shayan Eskandari. [n. d.]. Smart Contract Sanctuary. ([n. d.]). https:\/\/github.com\/tintinweb\/smart-contract-sanctuary"},{"key":"e_1_3_2_1_34_1","unstructured":"PeckShield Inc. 2021. PeckShield Inc. - Advisories. Retrieved August 5 2021 from https:\/\/blog.peckshield.com\/advisories.html  PeckShield Inc. 2021. PeckShield Inc. - Advisories. Retrieved August 5 2021 from https:\/\/blog.peckshield.com\/advisories.html"},{"key":"e_1_3_2_1_35_1","unstructured":"Daniel Perez and Benjamin Livshits. 2019. Smart contract vulnerabilities: Does anyone care?arXiv preprint arXiv:1902.06710(2019) 1\u201315.  Daniel Perez and Benjamin Livshits. 2019. Smart contract vulnerabilities: Does anyone care?arXiv preprint arXiv:1902.06710(2019) 1\u201315."},{"key":"e_1_3_2_1_36_1","unstructured":"Sergey Petrov. 2017. Another Parity Wallet hack explained. https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c.  Sergey Petrov. 2017. Another Parity Wallet hack explained. https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"e_1_3_2_1_38_1","unstructured":"Duncan Riley. 2020. $25M in cryptocurrency stolen in hack of Lendf.me and Uniswap. https:\/\/siliconangle.com\/2020\/04\/19\/25m-cryptocurrency-stolen-hack-lendf-uniswap\/.  Duncan Riley. 2020. $25M in cryptocurrency stolen in hack of Lendf.me and Uniswap. https:\/\/siliconangle.com\/2020\/04\/19\/25m-cryptocurrency-stolen-hack-lendf-uniswap\/."},{"key":"e_1_3_2_1_39_1","volume-title":"EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. In 30th USENIX Security Symposium (USENIX Security \u201921)","author":"Rodler Michael","year":"2021","unstructured":"Michael Rodler , Wenting Li , Ghassan Karame , and Lucas Davi . 2021 . EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. In 30th USENIX Security Symposium (USENIX Security \u201921) [To be published]. USENIX Association, Vancouver, B.C.https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/rodler Michael Rodler, Wenting Li, Ghassan Karame, and Lucas Davi. 2021. EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. In 30th USENIX Security Symposium (USENIX Security \u201921) [To be published]. USENIX Association, Vancouver, B.C.https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/rodler"},{"key":"e_1_3_2_1_40_1","volume-title":"Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934(2018).","author":"Rodler Michael","year":"2018","unstructured":"Michael Rodler , Wenting Li , Ghassan\u00a0 O Karame , and Lucas Davi . 2018 . Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934(2018). Michael Rodler, Wenting Li, Ghassan\u00a0O Karame, and Lucas Davi. 2018. Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934(2018)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"e_1_3_2_1_42_1","volume-title":"SmartBugs: A Framework to Analyze Solidity Smart Contracts. Retrieved","year":"2021","unstructured":"SmartBugs. 2021. SmartBugs: A Framework to Analyze Solidity Smart Contracts. Retrieved August 6, 2021 from https:\/\/github.com\/smartbugs\/smartbugs SmartBugs. 2021. SmartBugs: A Framework to Analyze Solidity Smart Contracts. Retrieved August 6, 2021 from https:\/\/github.com\/smartbugs\/smartbugs"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_44_1","unstructured":"UDE Secure Software System Research Group. 2020. EVMPatch Evaluation Data. https:\/\/github.com\/uni-due-syssec\/evmpatch-eval-data.  UDE Secure Software System Research Group. 2020. EVMPatch Evaluation Data. https:\/\/github.com\/uni-due-syssec\/evmpatch-eval-data."},{"key":"e_1_3_2_1_45_1","unstructured":"Vyper. 2021. Pythonic Smart Contract Language for the EVM. https:\/\/github.com\/ethereum\/vyper.  Vyper. 2021. Pythonic Smart Contract Language for the EVM. https:\/\/github.com\/ethereum\/vyper."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3402450"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054825"},{"key":"e_1_3_2_1_49_1","volume-title":"Ethereum Smart Contract Development in Solidity","author":"Zheng Gavin","unstructured":"Gavin Zheng , Longxiang Gao , Liqun Huang , and Jian Guan . 2021. Upgradable Contract . In Ethereum Smart Contract Development in Solidity . Springer , 197\u2013213. Gavin Zheng, Longxiang Gao, Liqun Huang, and Jian Guan. 2021. Upgradable Contract. In Ethereum Smart Contract Development in Solidity. Springer, 197\u2013213."}],"event":{"name":"RAID 2022: 25th International Symposium on Research in Attacks, Intrusions and Defenses","location":"Limassol Cyprus","acronym":"RAID 2022"},"container-title":["Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545948.3545975","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3545948.3545975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:17Z","timestamp":1750188617000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545948.3545975"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,26]]},"references-count":49,"alternative-id":["10.1145\/3545948.3545975","10.1145\/3545948"],"URL":"https:\/\/doi.org\/10.1145\/3545948.3545975","relation":{},"subject":[],"published":{"date-parts":[[2022,10,26]]},"assertion":[{"value":"2022-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}