{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T18:29:49Z","timestamp":1785522589433,"version":"3.56.0"},"reference-count":198,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T00:00:00Z","timestamp":1591920000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ARO","award":["W911NF-17-1-0566"],"award-info":[{"award-number":["W911NF-17-1-0566"]}]},{"name":"NSF CREST","award":["1736209"],"award-info":[{"award-number":["1736209"]}]},{"name":"NSF","award":["1814825"],"award-info":[{"award-number":["1814825"]}]},{"name":"US AFRL","award":["FA8750-19-1-0019"],"award-info":[{"award-number":["FA8750-19-1-0019"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2021,5,31]]},"abstract":"<jats:p>Blockchain technology is believed by many to be a game changer in many application domains. While the first generation of blockchain technology (i.e., Blockchain 1.0) is almost exclusively used for cryptocurrency, the second generation (i.e., Blockchain 2.0), as represented by Ethereum, is an open and decentralized platform enabling a new paradigm of computing\u2014Decentralized Applications (DApps) running on top of blockchains. The rich applications and semantics of DApps inevitably introduce many security vulnerabilities, which have no counterparts in pure cryptocurrency systems like Bitcoin. Since Ethereum is a new, yet complex, system, it is imperative to have a systematic and comprehensive understanding on its security from a holistic perspective, which was previously unavailable in the literature. To the best of our knowledge, the present survey, which can also be used as a tutorial, fills this void. We systematize three aspects of Ethereum systems security: vulnerabilities, attacks, and defenses. We draw insights into vulnerability root causes, attack consequences, and defense capabilities, which shed light on future research directions.<\/jats:p>","DOI":"10.1145\/3391195","type":"journal-article","created":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T22:49:10Z","timestamp":1592002150000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":421,"title":["A Survey on Ethereum Systems Security"],"prefix":"10.1145","volume":"53","author":[{"given":"Huashan","family":"Chen","sequence":"first","affiliation":[{"name":"The University of Texas at San Antonio, San Antonio, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcus","family":"Pendleton","sequence":"additional","affiliation":[{"name":"U.S. Air Force Research Laboratory and 90 COS\/CYD"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"Njilla","sequence":"additional","affiliation":[{"name":"U.S. Air Force Research Laboratory"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8034-0942","authenticated-orcid":false,"given":"Shouhuai","family":"Xu","sequence":"additional","affiliation":[{"name":"The University of Texas at San Antonio, San Antonio, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,12]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"Ittay Eyal and Emin G\u00fcn Sirer. 2014. How to disincentivize large Bitcoin mining pools. Retrieved from http:\/\/hackingdistributed.com\/2014\/06\/18\/how-to-disincentivize-large-bitcoin-mining-pools\/.  Ittay Eyal and Emin G\u00fcn Sirer. 2014. How to disincentivize large Bitcoin mining pools. Retrieved from http:\/\/hackingdistributed.com\/2014\/06\/18\/how-to-disincentivize-large-bitcoin-mining-pools\/."},{"key":"e_1_2_2_2_1","unstructured":"Fabian Vogelsteller and Vitalik Buterin. 2015. ERC-20 Token Standard|Ethereum Improvement Proposals. Retrieved from https:\/\/eips.ethereum.org\/EIPS\/eip-20.  Fabian Vogelsteller and Vitalik Buterin. 2015. ERC-20 Token Standard|Ethereum Improvement Proposals. Retrieved from https:\/\/eips.ethereum.org\/EIPS\/eip-20."},{"key":"e_1_2_2_3_1","volume-title":"Ethereum Analysis: Gas Economics and Proof of Work.","author":"Authority Least","year":"2015","unstructured":"Least Authority . 2015 . Ethereum Analysis: Gas Economics and Proof of Work. Retrieved from https:\/\/github.com\/LeastAuthority\/ethereum-analyses. Least Authority. 2015. Ethereum Analysis: Gas Economics and Proof of Work. Retrieved from https:\/\/github.com\/LeastAuthority\/ethereum-analyses."},{"key":"e_1_2_2_4_1","unstructured":"Ethereum Community Forum. 2015. Formal Verification for Solidity Contracts. Retrieved from https:\/\/forum.ethereum.org\/discussion\/3779\/formal-verification-for-solidity-contracts.  Ethereum Community Forum. 2015. Formal Verification for Solidity Contracts. Retrieved from https:\/\/forum.ethereum.org\/discussion\/3779\/formal-verification-for-solidity-contracts."},{"key":"e_1_2_2_5_1","unstructured":"Phil Daian. 2016. Analysis of the DAO exploit. Retrieved from http:\/\/hackingdistributed.com\/2016\/06\/18\/analysis-of-the-dao-exploit\/.  Phil Daian. 2016. Analysis of the DAO exploit. Retrieved from http:\/\/hackingdistributed.com\/2016\/06\/18\/analysis-of-the-dao-exploit\/."},{"key":"e_1_2_2_6_1","unstructured":"Vitalik Buterin. 2016. EIP-150 gas cost changes for IO-heavy operations. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-150.md.  Vitalik Buterin. 2016. EIP-150 gas cost changes for IO-heavy operations. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-150.md."},{"key":"e_1_2_2_7_1","unstructured":"Vitalik Buterin. 2016. EIP-155 simple replay attack protection. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-155.md.  Vitalik Buterin. 2016. EIP-155 simple replay attack protection. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-155.md."},{"key":"e_1_2_2_8_1","unstructured":"Gavin Wood. 2016. EIP-161 state trie clearing. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-161.md.  Gavin Wood. 2016. EIP-161 state trie clearing. Retrieved from https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-161.md."},{"key":"e_1_2_2_9_1","unstructured":"Joris Bontje. 2016. How can I securely generate a random number in my smart contract? Retrieved from https:\/\/ethereum.stackexchange.com\/questions\/191\/how-can-i-securely-generate-a-random-number-in-my-smart-contract.  Joris Bontje. 2016. How can I securely generate a random number in my smart contract? Retrieved from https:\/\/ethereum.stackexchange.com\/questions\/191\/how-can-i-securely-generate-a-random-number-in-my-smart-contract."},{"key":"e_1_2_2_10_1","unstructured":"Alyssa Hertig. 2016. Rise of Replay Attacks Intensifies Ethereum Divide\u2014CoinDesk. Retrieved from https:\/\/www.coindesk.com\/rise-replay-attacks-ethereum-divide.  Alyssa Hertig. 2016. Rise of Replay Attacks Intensifies Ethereum Divide\u2014CoinDesk. Retrieved from https:\/\/www.coindesk.com\/rise-replay-attacks-ethereum-divide."},{"key":"e_1_2_2_11_1","unstructured":"Vitalik Buterin. 2016. Transaction spam attack: Next Steps. Retrieved from https:\/\/blog.ethereum.org\/2016\/09\/22\/transaction-spam-attack-next-steps\/.  Vitalik Buterin. 2016. Transaction spam attack: Next Steps. Retrieved from https:\/\/blog.ethereum.org\/2016\/09\/22\/transaction-spam-attack-next-steps\/."},{"key":"e_1_2_2_12_1","unstructured":"Peter Vessenes. 2016. Tx.Origin And Ethereum Oh My! Retrieved from https:\/\/vessenes.com\/tx-origin-and-ethereum-oh-my\/.  Peter Vessenes. 2016. Tx.Origin And Ethereum Oh My! Retrieved from https:\/\/vessenes.com\/tx-origin-and-ethereum-oh-my\/."},{"key":"e_1_2_2_13_1","unstructured":"Matt Suiche. 2017. The $280M Ethereum\u2019s Parity bug\u2014Comae Technologies. Retrieved from https:\/\/blog.comae.io\/the-280m-ethereums-bug-f28e5de43513.  Matt Suiche. 2017. The $280M Ethereum\u2019s Parity bug\u2014Comae Technologies. Retrieved from https:\/\/blog.comae.io\/the-280m-ethereums-bug-f28e5de43513."},{"key":"e_1_2_2_14_1","unstructured":"Nooku. 2017. Exploit with ERC20 token transactions from exchanges. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/63s917\/worrysome_bug_exploit_with_erc20_token\/dfwmhc3\/.  Nooku. 2017. Exploit with ERC20 token transactions from exchanges. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/63s917\/worrysome_bug_exploit_with_erc20_token\/dfwmhc3\/."},{"key":"e_1_2_2_15_1","unstructured":"Ethererik. 2017. GovernMental\u2019s 1100 ETH jackpot payout is stuck because it uses too much gas. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/4ghzhv\/governmentals_1100_eth_jackpot_payout_is_stuck\/.  Ethererik. 2017. GovernMental\u2019s 1100 ETH jackpot payout is stuck because it uses too much gas. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/4ghzhv\/governmentals_1100_eth_jackpot_payout_is_stuck\/."},{"key":"e_1_2_2_16_1","unstructured":"Haseeb Qureshi. 2017. A hacker stole $31M of Ether\u2014How it happened and what it means for Ethereum. Retrieved from https:\/\/medium.freecodecamp.org\/a-hacker-stole-31m-of-ether-how-it-happened-and-what-it-means-for-ethereum-9e5dc29e33ce.  Haseeb Qureshi. 2017. A hacker stole $31M of Ether\u2014How it happened and what it means for Ethereum. Retrieved from https:\/\/medium.freecodecamp.org\/a-hacker-stole-31m-of-ether-how-it-happened-and-what-it-means-for-ethereum-9e5dc29e33ce."},{"key":"e_1_2_2_17_1","unstructured":"Pawe\u0142 Bylica. 2017. How to Find $10M Just by Reading the Blockchain. Retrieved from https:\/\/medium.com\/golem-project\/how-to-find-10m-by-just-reading-blockchain-6ae9d39fcd95.  Pawe\u0142 Bylica. 2017. How to Find $10M Just by Reading the Blockchain. Retrieved from https:\/\/medium.com\/golem-project\/how-to-find-10m-by-just-reading-blockchain-6ae9d39fcd95."},{"key":"e_1_2_2_18_1","unstructured":"Lorenz Breidenbach Phil Daian Ari Juels and Emin G\u00fcn Sirer. 2017. An In-Depth Look at the Parity Multisig Bug. Retrieved from http:\/\/hackingdistributed.com\/2017\/07\/22\/deep-dive-parity-bug\/.  Lorenz Breidenbach Phil Daian Ari Juels and Emin G\u00fcn Sirer. 2017. An In-Depth Look at the Parity Multisig Bug. Retrieved from http:\/\/hackingdistributed.com\/2017\/07\/22\/deep-dive-parity-bug\/."},{"key":"e_1_2_2_19_1","unstructured":"Santiago Palladino. 2017. The Parity Wallet Hack Explained. Retrieved from https:\/\/blog.zeppelin.solutions\/on-the-parity-wallet-multisig-hack-405a8c12e8f7.  Santiago Palladino. 2017. The Parity Wallet Hack Explained. Retrieved from https:\/\/blog.zeppelin.solutions\/on-the-parity-wallet-multisig-hack-405a8c12e8f7."},{"key":"e_1_2_2_20_1","unstructured":"Vbuterin. 2017. A state clearing FAQ. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/5es5g4\/a_state_clearing_faq\/?st=iw2e1mwo8sh=fa77688depth=1.  Vbuterin. 2017. A state clearing FAQ. Retrieved from https:\/\/www.reddit.com\/r\/ethereum\/comments\/5es5g4\/a_state_clearing_faq\/?st=iw2e1mwo8sh=fa77688depth=1."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.08.020"},{"key":"e_1_2_2_22_1","unstructured":"Lorenz Breidenbach Phil Daian Ari Juels and Florian Tram\u00e8r. 2017. To Sink Frontrunners Send in the Submarines. Retrieved from http:\/\/hackingdistributed.com\/2017\/08\/28\/submarine-sends\/.  Lorenz Breidenbach Phil Daian Ari Juels and Florian Tram\u00e8r. 2017. To Sink Frontrunners Send in the Submarines. Retrieved from http:\/\/hackingdistributed.com\/2017\/08\/28\/submarine-sends\/."},{"key":"e_1_2_2_23_1","unstructured":"Crypto Panda. 2018. The $3 Million Winner of Fomo3D Is Still Playing to Win\u2014Longhash. Retrieved from https:\/\/www.longhash.com\/news\/the-3-million-winner-of-fomo3d-is-still-playing-to-win.  Crypto Panda. 2018. The $3 Million Winner of Fomo3D Is Still Playing to Win\u2014Longhash. Retrieved from https:\/\/www.longhash.com\/news\/the-3-million-winner-of-fomo3d-is-still-playing-to-win."},{"key":"e_1_2_2_24_1","unstructured":"Cornell Blockchain. 2018. Bamboo. Retrieved from https:\/\/github.com\/pirapira\/bamboo.  Cornell Blockchain. 2018. Bamboo. Retrieved from https:\/\/github.com\/pirapira\/bamboo."},{"key":"e_1_2_2_25_1","unstructured":"Common Vulnerabilities and Exposures. 2018. BatchOverflow. Retrieved from http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2018-10299.  Common Vulnerabilities and Exposures. 2018. BatchOverflow. Retrieved from http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2018-10299."},{"key":"e_1_2_2_26_1","unstructured":"Louis Poinsignon. 2018. BGP leaks and cryptocurrencies. Retrieved from https:\/\/blog.cloudflare.com\/bgp-leaks-and-crypto-currencies\/.  Louis Poinsignon. 2018. BGP leaks and cryptocurrencies. Retrieved from https:\/\/blog.cloudflare.com\/bgp-leaks-and-crypto-currencies\/."},{"key":"e_1_2_2_27_1","unstructured":"SlowMist. 2018. Billions of Tokens Theft Case cause by ETH Ecological Defects. Retrieved from https:\/\/mp.weixin.qq.com\/s\/ia9nBhmqVEXiiQdFrjzmyg.  SlowMist. 2018. Billions of Tokens Theft Case cause by ETH Ecological Defects. Retrieved from https:\/\/mp.weixin.qq.com\/s\/ia9nBhmqVEXiiQdFrjzmyg."},{"key":"e_1_2_2_28_1","unstructured":"Mihail Sotnichek. 2018. EOS Smart Contract Vulnerabilities in Detail. Retrieved from https:\/\/www.apriorit.com\/dev-blog\/553-eos-smart-contract-vulnerability.  Mihail Sotnichek. 2018. EOS Smart Contract Vulnerabilities in Detail. Retrieved from https:\/\/www.apriorit.com\/dev-blog\/553-eos-smart-contract-vulnerability."},{"key":"e_1_2_2_29_1","unstructured":"ChainSecurity AG. 2018. ChainSecurity Chaincode Scanner. Retrieved from https:\/\/chaincode.chainsecurity.com\/.  ChainSecurity AG. 2018. ChainSecurity Chaincode Scanner. Retrieved from https:\/\/chaincode.chainsecurity.com\/."},{"key":"e_1_2_2_30_1","unstructured":"Adrian Manning. 2018. Comprehensive list of known attack vectors and common anti-patterns. Retrieved from https:\/\/github.com\/sigp\/solidity-security-blog.  Adrian Manning. 2018. Comprehensive list of known attack vectors and common anti-patterns. Retrieved from https:\/\/github.com\/sigp\/solidity-security-blog."},{"key":"e_1_2_2_31_1","volume-title":"ContractPedia: An Encyclopedia of 40+ Smart Contract Platforms.","author":"Saini Vaibhav","unstructured":"Vaibhav Saini . 2018. ContractPedia: An Encyclopedia of 40+ Smart Contract Platforms. Retrieved from https:\/\/hackernoon.com\/contractpedia-an-encyclopedia-of-40-smart-contract-platforms-4867f66da1e5. Vaibhav Saini. 2018. ContractPedia: An Encyclopedia of 40+ Smart Contract Platforms. Retrieved from https:\/\/hackernoon.com\/contractpedia-an-encyclopedia-of-40-smart-contract-platforms-4867f66da1e5."},{"key":"e_1_2_2_32_1","unstructured":"Common Vulnerabilities and Exposures. 2018. CVE-2018-10299. Retrieved from https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-10299.  Common Vulnerabilities and Exposures. 2018. CVE-2018-10299. Retrieved from https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-10299."},{"key":"e_1_2_2_33_1","unstructured":"Block.one. 2018. EOS.IO Technical White Paper v2. Retrieved from https:\/\/github.com\/EOSIO\/Documentation\/blob\/master\/TechnicalWhitePaper.md.  Block.one. 2018. EOS.IO Technical White Paper v2. Retrieved from https:\/\/github.com\/EOSIO\/Documentation\/blob\/master\/TechnicalWhitePaper.md."},{"key":"e_1_2_2_34_1","unstructured":"Georgios Konstantopoulos. 2018. How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2). Retrieved from https:\/\/medium.com\/loom-network\/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834.  Georgios Konstantopoulos. 2018. How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2). Retrieved from https:\/\/medium.com\/loom-network\/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834."},{"key":"e_1_2_2_35_1","unstructured":"Arseny Reutov. 2018. Predicting Random Numbers in Ethereum Smart Contracts. Retrieved from https:\/\/blog.positive.com\/predicting-random-numbers-in-ethereum-smart-contracts-e5358c6b8620.  Arseny Reutov. 2018. Predicting Random Numbers in Ethereum Smart Contracts. Retrieved from https:\/\/blog.positive.com\/predicting-random-numbers-in-ethereum-smart-contracts-e5358c6b8620."},{"key":"e_1_2_2_36_1","unstructured":"Zhenxuan Bai. 2018. Replay Attacks on Ethereum Smart Contracts. Retrieved from https:\/\/github.com\/nkbai\/defcon26\/tree\/master\/docs.  Zhenxuan Bai. 2018. Replay Attacks on Ethereum Smart Contracts. Retrieved from https:\/\/github.com\/nkbai\/defcon26\/tree\/master\/docs."},{"key":"e_1_2_2_37_1","unstructured":"OpenZeppelin. 2018. SafeMath. Retrieved from https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\/blob\/master\/contracts\/math\/SafeMath.sol.  OpenZeppelin. 2018. SafeMath. Retrieved from https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\/blob\/master\/contracts\/math\/SafeMath.sol."},{"key":"e_1_2_2_38_1","unstructured":"Bernhard Mueller. 2018. Safety tips. Retrieved from https:\/\/github.com\/ethereum\/wiki\/wiki\/Safety#favor-pull-over-push-for-external-calls.  Bernhard Mueller. 2018. Safety tips. Retrieved from https:\/\/github.com\/ethereum\/wiki\/wiki\/Safety#favor-pull-over-push-for-external-calls."},{"key":"e_1_2_2_39_1","unstructured":"Ethereum community. 2018. Solidity 0.5.0 documentation. Retrieved from https:\/\/solidity.readthedocs.io\/en\/v0.5.0\/050-breaking-changes.html.  Ethereum community. 2018. Solidity 0.5.0 documentation. Retrieved from https:\/\/solidity.readthedocs.io\/en\/v0.5.0\/050-breaking-changes.html."},{"key":"e_1_2_2_40_1","unstructured":"Ethereum community. 2018. Solidity Version 0.4.22. Retrieved from https:\/\/github.com\/ethereum\/solidity\/releases\/tag\/v0.4.22.  Ethereum community. 2018. Solidity Version 0.4.22. Retrieved from https:\/\/github.com\/ethereum\/solidity\/releases\/tag\/v0.4.22."},{"key":"e_1_2_2_41_1","unstructured":"Stefan Beyer. 2018. Storage Allocation Exploits in Ethereum Smart Contracts. Retrieved from https:\/\/medium.com\/cryptronics\/storage-allocation-exploits-in-ethereum-smart-contracts-16c2aa312743.  Stefan Beyer. 2018. Storage Allocation Exploits in Ethereum Smart Contracts. Retrieved from https:\/\/medium.com\/cryptronics\/storage-allocation-exploits-in-ethereum-smart-contracts-16c2aa312743."},{"key":"e_1_2_2_42_1","unstructured":"Martin Derka. 2018. What We Learned from Fomo3D. Retrieved from https:\/\/medium.com\/@martinderka.  Martin Derka. 2018. What We Learned from Fomo3D. Retrieved from https:\/\/medium.com\/@martinderka."},{"key":"e_1_2_2_43_1","unstructured":"Zhenxuan Bai Yuwei Zheng Senhua Wang and Kunzhe Chai. 2018. You may have paid more than you imagine. Retrieved from https:\/\/www.defcon.org\/html\/defcon-26\/dc-26-speakers.html#Bai2.  Zhenxuan Bai Yuwei Zheng Senhua Wang and Kunzhe Chai. 2018. You may have paid more than you imagine. Retrieved from https:\/\/www.defcon.org\/html\/defcon-26\/dc-26-speakers.html#Bai2."},{"key":"e_1_2_2_44_1","unstructured":"The Coq development team. 2019. The Coq Proof Assistant. Retrieved from https:\/\/coq.inria.fr\/.  The Coq development team. 2019. The Coq Proof Assistant. Retrieved from https:\/\/coq.inria.fr\/."},{"key":"e_1_2_2_45_1","unstructured":"SlowMist. 2019. EOS DApp hack events. Retrieved from https:\/\/hacked.slowmist.io\/en\/?c=EOS%20DApp.  SlowMist. 2019. EOS DApp hack events. Retrieved from https:\/\/hacked.slowmist.io\/en\/?c=EOS%20DApp."},{"key":"e_1_2_2_46_1","unstructured":"SlowMist. 2019. EOS smart contract development security best practices. Retrieved from https:\/\/github.com\/slowmist\/eos-smart-contract-security-best-practices.  SlowMist. 2019. EOS smart contract development security best practices. Retrieved from https:\/\/github.com\/slowmist\/eos-smart-contract-security-best-practices."},{"key":"e_1_2_2_47_1","unstructured":"Alex Lielacher. 2019. ETC 51 % attack. Retrieved from https:\/\/bravenewcoin.com\/insights\/etc-51-attack-what-happened-and-how-it-was-stopped.  Alex Lielacher. 2019. ETC 51 % attack. Retrieved from https:\/\/bravenewcoin.com\/insights\/etc-51-attack-what-happened-and-how-it-was-stopped."},{"key":"e_1_2_2_48_1","unstructured":"Ethereum community. 2019. Ethereum 2.0 specifications. Retrieved from https:\/\/github.com\/ethereum\/eth2.0-specs.  Ethereum community. 2019. Ethereum 2.0 specifications. Retrieved from https:\/\/github.com\/ethereum\/eth2.0-specs."},{"key":"e_1_2_2_49_1","unstructured":"ConsenSys Diligence. 2019. Ethereum Smart Contract Best Practices. Retrieved from https:\/\/consensys.github.io\/smart-contract-best-practices\/.  ConsenSys Diligence. 2019. Ethereum Smart Contract Best Practices. Retrieved from https:\/\/consensys.github.io\/smart-contract-best-practices\/."},{"key":"e_1_2_2_50_1","unstructured":"Felix Lange Guillaume Ballet and Antoine Toulme. 2019. Ethereum Wire Protocol (ETH). Retrieved from https:\/\/github.com\/ethereum\/devp2p\/blob\/master\/caps\/eth.md.  Felix Lange Guillaume Ballet and Antoine Toulme. 2019. Ethereum Wire Protocol (ETH). Retrieved from https:\/\/github.com\/ethereum\/devp2p\/blob\/master\/caps\/eth.md."},{"key":"e_1_2_2_51_1","unstructured":"MythX development team. 2019. Mythril. Retrieved from https:\/\/github.com\/ConsenSys\/mythril.  MythX development team. 2019. Mythril. Retrieved from https:\/\/github.com\/ConsenSys\/mythril."},{"key":"e_1_2_2_52_1","unstructured":"Franz Volland and Florian Blum. 2019. Oracle. Retrieved from https:\/\/github.com\/fravoll\/solidity-patterns\/blob\/master\/docs\/oracle.md.  Franz Volland and Florian Blum. 2019. Oracle. Retrieved from https:\/\/github.com\/fravoll\/solidity-patterns\/blob\/master\/docs\/oracle.md."},{"key":"e_1_2_2_53_1","volume-title":"RANDAO: A DAO working as RNG of Ethereum.","author":"Zhang Yaning","year":"2019","unstructured":"Yaning Zhang and Youcai Qian . 2019 . RANDAO: A DAO working as RNG of Ethereum. Retrieved from https:\/\/github.com\/randao\/randao. Yaning Zhang and Youcai Qian. 2019. RANDAO: A DAO working as RNG of Ethereum. Retrieved from https:\/\/github.com\/randao\/randao."},{"key":"e_1_2_2_54_1","unstructured":"MythX development team. 2019. Smart Contract Weakness Classification and Test Cases. Retrieved from https:\/\/smartcontractsecurity.github.io\/SWC-registry\/.  MythX development team. 2019. Smart Contract Weakness Classification and Test Cases. Retrieved from https:\/\/smartcontractsecurity.github.io\/SWC-registry\/."},{"key":"e_1_2_2_55_1","unstructured":"Vyper development team. 2019. Vyper documentation. Retrieved from https:\/\/vyper.readthedocs.io\/en\/latest\/?badge=latest#.  Vyper development team. 2019. Vyper documentation. Retrieved from https:\/\/vyper.readthedocs.io\/en\/latest\/?badge=latest#."},{"key":"e_1_2_2_56_1","unstructured":"Etherscan development team. 2020. Ethereum (ETH) Blockchain Explorer. Retrieved from https:\/\/etherscan.io\/.  Etherscan development team. 2020. Ethereum (ETH) Blockchain Explorer. Retrieved from https:\/\/etherscan.io\/."},{"key":"e_1_2_2_57_1","unstructured":"OpenEthereum. 2020. Fast and feature-rich multi-network Ethereum client. Retrieved from https:\/\/github.com\/paritytech\/parity-ethereum.  OpenEthereum. 2020. Fast and feature-rich multi-network Ethereum client. Retrieved from https:\/\/github.com\/paritytech\/parity-ethereum."},{"key":"e_1_2_2_58_1","unstructured":"The go-ethereum authors. 2020. Official Go implementation of the Ethereum protocol. Retrieved from https:\/\/github.com\/ethereum\/go-ethereum.  The go-ethereum authors. 2020. Official Go implementation of the Ethereum protocol. Retrieved from https:\/\/github.com\/ethereum\/go-ethereum."},{"key":"e_1_2_2_59_1","unstructured":"State of The DApps development team. 2020. State of the DApps\u2014DApp Statistics. Retrieved from https:\/\/www.stateofthedapps.com\/stats.  State of The DApps development team. 2020. State of the DApps\u2014DApp Statistics. Retrieved from https:\/\/www.stateofthedapps.com\/stats."},{"key":"e_1_2_2_60_1","volume-title":"Astraea: A decentralized blockchain oracle. arXiv:1808.00528.","author":"Adler J.","year":"2018","unstructured":"J. Adler , R. Berryhill , A. Veneris , Z. Poulos , N. Veira , and A. Kastania . 2018 . Astraea: A decentralized blockchain oracle. arXiv:1808.00528. J. Adler, R. Berryhill, A. Veneris, Z. Poulos, N. Veira, and A. Kastania. 2018. Astraea: A decentralized blockchain oracle. arXiv:1808.00528."},{"key":"e_1_2_2_61_1","doi-asserted-by":"crossref","unstructured":"E. Albert P. Gordillo B. Livshits A. Rubio and I. Sergey. 2018. EthIR: A framework for high-level analysis of Ethereum bytecode. arXiv:1805.07208.  E. Albert P. Gordillo B. Livshits A. Rubio and I. Sergey. 2018. EthIR: A framework for high-level analysis of Ethereum bytecode. arXiv:1805.07208.","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"e_1_2_2_62_1","volume-title":"Proceedings of the IEEE\/ACS AICCSA. IEEE, 1--8.","author":"Almadhoun R.","unstructured":"R. Almadhoun , M. Kadadha , M. Alhemeiri , M. Alshehhi , and K. Salah . 2018. A user authentication scheme of iot devices using blockchain-enabled fog nodes . In Proceedings of the IEEE\/ACS AICCSA. IEEE, 1--8. R. Almadhoun, M. Kadadha, M. Alhemeiri, M. Alshehhi, and K. Salah. 2018. A user authentication scheme of iot devices using blockchain-enabled fog nodes. In Proceedings of the IEEE\/ACS AICCSA. IEEE, 1--8."},{"key":"e_1_2_2_63_1","volume-title":"Proceedings of the ACM SIGPLAN CPP. ACM, 66--77","author":"Amani Sidney","year":"2018","unstructured":"Sidney Amani , Myriam B\u00e9gel , Maksym Bortin , and Mark Staples . 2018 . Towards verifying ethereum smart contract bytecode in Isabelle\/HOL . In Proceedings of the ACM SIGPLAN CPP. ACM, 66--77 . Sidney Amani, Myriam B\u00e9gel, Maksym Bortin, and Mark Staples. 2018. Towards verifying ethereum smart contract bytecode in Isabelle\/HOL. In Proceedings of the ACM SIGPLAN CPP. ACM, 66--77."},{"key":"e_1_2_2_64_1","volume-title":"Proceedings of the EuroSys. 30","author":"Androulaki E.","unstructured":"E. Androulaki , A. Barger , V. Bortnikov , C. Cachin , K. Christidis , A. De Caro , D. Enyeart , C. Ferris , G. Laventman , and Y. Manevich . 2018. Hyperledger fabric: A distributed operating system for permissioned blockchains . In Proceedings of the EuroSys. 30 . E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis, A. De Caro, D. Enyeart, C. Ferris, G. Laventman, and Y. Manevich. 2018. Hyperledger fabric: A distributed operating system for permissioned blockchains. In Proceedings of the EuroSys. 30."},{"key":"e_1_2_2_65_1","volume-title":"Proceedings of the POST. 164--186","author":"Atzei N.","unstructured":"N. Atzei , M. Bartoletti , and T. Cimoli . 2017. A survey of attacks on ethereum smart contracts (sok) . In Proceedings of the POST. 164--186 . N. Atzei, M. Bartoletti, and T. Cimoli. 2017. A survey of attacks on ethereum smart contracts (sok). In Proceedings of the POST. 164--186."},{"key":"e_1_2_2_66_1","first-page":"1","article-title":"Understanding blockchain consensus models","volume":"4","author":"Baliga Arati","year":"2017","unstructured":"Arati Baliga . 2017 . Understanding blockchain consensus models . In Persistent , Vol. 4. 1 -- 14 . Arati Baliga. 2017. Understanding blockchain consensus models. In Persistent, Vol. 4. 1--14.","journal-title":"Persistent"},{"key":"e_1_2_2_67_1","unstructured":"S. Bano A. Sonnino M. Al-Bassam S. Azouvi P. McCorry S. Meiklejohn and G. Danezis. 2017. Consensus in the age of blockchains. CoRR abs\/1711.03936.  S. Bano A. Sonnino M. Al-Bassam S. Azouvi P. McCorry S. Meiklejohn and G. Danezis. 2017. Consensus in the age of blockchains. CoRR abs\/1711.03936."},{"key":"e_1_2_2_68_1","volume-title":"Ethereum: Identification, analysis, and impact. arXiv:1703.03779.","author":"Bartoletti M.","year":"2017","unstructured":"M. Bartoletti , S. Carta , T. Cimoli , and R. Saia . 2017 . Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. arXiv:1703.03779. M. Bartoletti, S. Carta, T. Cimoli, and R. Saia. 2017. Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. arXiv:1703.03779."},{"key":"e_1_2_2_69_1","first-page":"919","article-title":"Snow white: Provably secure proofs of stake","volume":"2016","author":"Bentov I.","year":"2016","unstructured":"I. Bentov , R. Pass , and E. Shi . 2016 . Snow white: Provably secure proofs of stake . IACR ePrint Arch. 2016 (2016), 919 . I. Bentov, R. Pass, and E. Shi. 2016. Snow white: Provably secure proofs of stake. IACR ePrint Arch. 2016 (2016), 919.","journal-title":"IACR ePrint Arch."},{"key":"e_1_2_2_70_1","volume-title":"Swamy et\u00a0al","author":"Bhargavan K.","year":"2016","unstructured":"K. Bhargavan , A. Lavaud , C. Fournet , A. Gollamudi , G. Gonthier , N. Kobeissi , N. Kulatova , A. Rastogi , T. Pinote , N. Swamy et\u00a0al . 2016 . Formal verification of smart contracts: Short paper. In Proceedings of the ACM PLAS. 91--96. K. Bhargavan, A. Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Pinote, N. Swamy et\u00a0al. 2016. Formal verification of smart contracts: Short paper. In Proceedings of the ACM PLAS. 91--96."},{"key":"e_1_2_2_71_1","first-page":"53","volume-title":"First International Workshop on Intermediate Verification Languages","author":"Bobot F.","unstructured":"F. Bobot , J. C. Filli\u00e2tre , C. March\u00e9 , and A. Paskevich . 2011. Why3: Shepherd your herd of provers . First International Workshop on Intermediate Verification Languages , pp. 53 -- 64 . F. Bobot, J. C. Filli\u00e2tre, C. March\u00e9, and A. Paskevich. 2011. Why3: Shepherd your herd of provers. First International Workshop on Intermediate Verification Languages, pp. 53--64."},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96884-1_25"},{"key":"e_1_2_2_73_1","first-page":"712","article-title":"A survey of two verifiable delay functions","volume":"2018","author":"Boneh D.","year":"2018","unstructured":"D. Boneh , B. B\u00fcnz , and B. Fisch . 2018 . A survey of two verifiable delay functions . IACR ePrint Arch. 2018 (2018), 712 . D. Boneh, B. B\u00fcnz, and B. Fisch. 2018. A survey of two verifiable delay functions. IACR ePrint Arch. 2018 (2018), 712.","journal-title":"IACR ePrint Arch."},{"key":"e_1_2_2_74_1","volume-title":"Proceedings of the IEEE SP. 104--121","author":"Bonneau J.","unstructured":"J. Bonneau , A. Miller , J. Clark , A. Narayanan , J. A. Kroll , and E. W. Felten . 2015. SoK: Research perspectives and challenges for bitcoin and cryptocurrencies . In Proceedings of the IEEE SP. 104--121 . J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll, and E. W. Felten. 2015. SoK: Research perspectives and challenges for bitcoin and cryptocurrencies. In Proceedings of the IEEE SP. 104--121."},{"key":"e_1_2_2_75_1","volume-title":"Vandal: A scalable security analysis framework for smart contracts. arXiv:1809.03981.","author":"Brent L.","year":"2018","unstructured":"L. Brent , A. Jurisevic , M. Kong , E. Liu , F. Gauthier , V. Gramoli , R. Holz , and B. Scholz . 2018 . Vandal: A scalable security analysis framework for smart contracts. arXiv:1809.03981. L. Brent, A. Jurisevic, M. Kong, E. Liu, F. Gauthier, V. Gramoli, R. Holz, and B. Scholz. 2018. Vandal: A scalable security analysis framework for smart contracts. arXiv:1809.03981."},{"key":"e_1_2_2_76_1","volume-title":"Slasher: A punitive proof-of-stake algorithm. Ethereum Blog.","author":"Buterin Vitalik","year":"2014","unstructured":"Vitalik Buterin . 2014 . Slasher: A punitive proof-of-stake algorithm. Ethereum Blog. Retrieved from https:\/\/blog. ethereum. org\/2014\/01\/15\/slasher-a-punitive-proof-of-stake-algorithm. Vitalik Buterin. 2014. Slasher: A punitive proof-of-stake algorithm. Ethereum Blog. Retrieved from https:\/\/blog. ethereum. org\/2014\/01\/15\/slasher-a-punitive-proof-of-stake-algorithm."},{"key":"e_1_2_2_77_1","unstructured":"Vitalik Buterin and Virgil Griffith. 2017. Casper the friendly finality gadget. arXiv preprint arXiv:1710.09437.  Vitalik Buterin and Virgil Griffith. 2017. Casper the friendly finality gadget. arXiv preprint arXiv:1710.09437."},{"key":"e_1_2_2_78_1","unstructured":"Christian C. and Marko V.2017. Blockchain consensus protocols in the wild. CoRR abs\/1707.01873.  Christian C. and Marko V.2017. Blockchain consensus protocols in the wild. CoRR abs\/1707.01873."},{"key":"e_1_2_2_79_1","doi-asserted-by":"crossref","unstructured":"J. Chang B. Gao H. Xiao J. Sun and Z. Yang. 2018. sCompile: Critical path identification and analysis for smart contracts. arXiv:1808.00624.  J. Chang B. Gao H. Xiao J. Sun and Z. Yang. 2018. sCompile: Critical path identification and analysis for smart contracts. arXiv:1808.00624.","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"e_1_2_2_80_1","volume-title":"Proceedings of the CRYPTO.199--203","author":"Chaum D.","year":"1982","unstructured":"D. Chaum . 1982 . Blind signatures for untraceable payments . In Proceedings of the CRYPTO.199--203 . D. Chaum. 1982. Blind signatures for untraceable payments. In Proceedings of the CRYPTO.199--203."},{"key":"e_1_2_2_81_1","first-page":"1","article-title":"Quantifying the security effectiveness of firewalls and DMZs","volume":"9","author":"Chen H.","year":"2018","unstructured":"H. Chen , J. Cho , and S. Xu . 2018 . Quantifying the security effectiveness of firewalls and DMZs . In Proceedings of the HoTSoS. 9 : 1 -- 9 :11. H. Chen, J. Cho, and S. Xu. 2018. Quantifying the security effectiveness of firewalls and DMZs. In Proceedings of the HoTSoS. 9:1--9:11.","journal-title":"Proceedings of the HoTSoS."},{"key":"e_1_2_2_82_1","volume-title":"Proceedings of the ISPEC. Springer, 3--24","author":"Chen T.","unstructured":"T. Chen , X. Li , Y. Wang , J. Chen , Z. Li , X. Luo , M. Au , and X. Zhang . 2017. An adaptive gas cost mechanism for ethereum to defend against under-priced DoS attacks . In Proceedings of the ISPEC. Springer, 3--24 . T. Chen, X. Li, Y. Wang, J. Chen, Z. Li, X. Luo, M. Au, and X. Zhang. 2017. An adaptive gas cost mechanism for ethereum to defend against under-priced DoS attacks. In Proceedings of the ISPEC. Springer, 3--24."},{"key":"e_1_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3277666"},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.150"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2842460"},{"key":"e_1_2_2_86_1","volume-title":"Dappguard: Active monitoring and defense for solidity smart contracts.","author":"Cook T.","year":"2017","unstructured":"T. Cook , A. Latham , and J. Lee . 2017 . Dappguard: Active monitoring and defense for solidity smart contracts. Retrieved from https:\/\/pdfs.semanticscholar.org\/7438\/ffd4c3b45a6d239815df377a453adfa890fa.pdf. T. Cook, A. Latham, and J. Lee. 2017. Dappguard: Active monitoring and defense for solidity smart contracts. Retrieved from https:\/\/pdfs.semanticscholar.org\/7438\/ffd4c3b45a6d239815df377a453adfa890fa.pdf."},{"key":"e_1_2_2_87_1","volume-title":"Proceedings of the PoPL. 238--252","author":"Cousot P.","unstructured":"P. Cousot and R. Cousot . 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints . In Proceedings of the PoPL. 238--252 . P. Cousot and R. Cousot. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the PoPL. 238--252."},{"key":"e_1_2_2_88_1","volume-title":"Proceedings of the FC. 182--190","author":"Daian P.","unstructured":"P. Daian , I. Eyal , A. Juels , and E. Sirer . 2017. Piecework: Generalized outsourcing control for proofs of work . In Proceedings of the FC. 182--190 . P. Daian, I. Eyal, A. Juels, and E. Sirer. 2017. Piecework: Generalized outsourcing control for proofs of work. In Proceedings of the FC. 182--190."},{"key":"e_1_2_2_89_1","unstructured":"P. Daian S. Goldfeder T. Kell Y. Li X. Zhao I. Bentov L. Breidenbach and A. Juels. 2019. Flash Boys 2.0: Frontrunning transaction reordering and consensus instability in decentralized exchanges. arXiv:1904.05234.  P. Daian S. Goldfeder T. Kell Y. Li X. Zhao I. Bentov L. Breidenbach and A. Juels. 2019. Flash Boys 2.0: Frontrunning transaction reordering and consensus instability in decentralized exchanges. arXiv:1904.05234."},{"key":"e_1_2_2_90_1","volume-title":"Proceedings of the EUROCRYPT. Springer, 66--98","author":"David B.","unstructured":"B. David , P. Ga\u017ei , A. Kiayias , and A. Russell . 2018. Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain . In Proceedings of the EUROCRYPT. Springer, 66--98 . B. David, P. Ga\u017ei, A. Kiayias, and A. Russell. 2018. Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain. In Proceedings of the EUROCRYPT. Springer, 66--98."},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2901858"},{"key":"e_1_2_2_92_1","volume-title":"Proceedings of the FinancialCRYPTO. 79--94","author":"Delmolino K.","unstructured":"K. Delmolino , M. Arnett , A. Kosba , A. Miller , and E. Shi . 2016. Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab . In Proceedings of the FinancialCRYPTO. 79--94 . K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi. 2016. Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab. In Proceedings of the FinancialCRYPTO. 79--94."},{"key":"e_1_2_2_93_1","volume-title":"Proceedings of the IEEE IWBOSE. 19--25","author":"Destefanis G.","unstructured":"G. Destefanis , M. Marchesi , M. Ortu , R. Tonelli , A. Bracciali , and R. Hierons . 2018. Smart contracts vulnerabilities: A call for blockchain software engineering? In Proceedings of the IEEE IWBOSE. 19--25 . G. Destefanis, M. Marchesi, M. Ortu, R. Tonelli, A. Bracciali, and R. Hierons. 2018. Smart contracts vulnerabilities: A call for blockchain software engineering? In Proceedings of the IEEE IWBOSE. 19--25."},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"e_1_2_2_95_1","volume-title":"Proceedings of the CRYPTO. 139--147","author":"Dwork Cynthia","year":"1992","unstructured":"Cynthia Dwork and Moni Naor . 1992 . Pricing via processing or combatting junk mail . In Proceedings of the CRYPTO. 139--147 . Cynthia Dwork and Moni Naor. 1992. Pricing via processing or combatting junk mail. In Proceedings of the CRYPTO. 139--147."},{"key":"e_1_2_2_96_1","unstructured":"Paul Dworzanski. A note on committee random number generation commit-reveal and last-revealer attacks. Retrieved from http:\/\/paul.oemm.org\/commit_reveal_subcommittees.pdf.  Paul Dworzanski. A note on committee random number generation commit-reveal and last-revealer attacks. Retrieved from http:\/\/paul.oemm.org\/commit_reveal_subcommittees.pdf."},{"key":"e_1_2_2_97_1","volume-title":"Proceedings of the IEEE SRDS. 11--20","author":"Ekparinya P.","unstructured":"P. Ekparinya , V. Gramoli , and G. Jourjon . 2018. Impact of man-in-the-middle attacks on ethereum . In Proceedings of the IEEE SRDS. 11--20 . P. Ekparinya, V. Gramoli, and G. Jourjon. 2018. Impact of man-in-the-middle attacks on ethereum. In Proceedings of the IEEE SRDS. 11--20."},{"key":"e_1_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2018.00036"},{"key":"e_1_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212998"},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_2_2_101_1","volume-title":"Proceedings of the CVCBT. 85--92","author":"Ga\u017ei P.","unstructured":"P. Ga\u017ei , A. Kiayias , and A. Russell . 2018. Stake-bleeding attacks on proof-of-stake blockchains . In Proceedings of the CVCBT. 85--92 . P. Ga\u017ei, A. Kiayias, and A. Russell. 2018. Stake-bleeding attacks on proof-of-stake blockchains. In Proceedings of the CVCBT. 85--92."},{"key":"e_1_2_2_102_1","volume-title":"Proceedings of the ACM CCS. 3--16","author":"Gervais A.","unstructured":"A. Gervais , G. Karame , K. W\u00fcst , V. Glykantzis , H. Ritzdorf , and S. Capkun . 2016. On the security and performance of proof of work blockchains . In Proceedings of the ACM CCS. 3--16 . A. Gervais, G. Karame, K. W\u00fcst, V. Glykantzis, H. Ritzdorf, and S. Capkun. 2016. On the security and performance of proof of work blockchains. In Proceedings of the ACM CCS. 3--16."},{"key":"e_1_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.09.023"},{"key":"e_1_2_2_104_1","volume-title":"Proceedings of the OOPSLA. 116","author":"Grech N.","unstructured":"N. Grech , M. Kong , A. Jurisevic , L. Brent , B. Scholz , and Y. Smaragdakis . 2018. Madmax: Surviving out-of-gas conditions in ethereum smart contracts . In Proceedings of the OOPSLA. 116 . N. Grech, M. Kong, A. Jurisevic, L. Brent, B. Scholz, and Y. Smaragdakis. 2018. Madmax: Surviving out-of-gas conditions in ethereum smart contracts. In Proceedings of the OOPSLA. 116."},{"key":"e_1_2_2_105_1","unstructured":"I. Grishchenko M. Maffei and C. Schneidewind. 2018. EtherTrust: Sound Static Analysis of Ethereum Bytecode. Technical Report. Retrieved from https:\/\/pdfs.semanticscholar.org\/26c2\/b7e7479336d44891aadda6b5eaae2ca2ee91.pdf.  I. Grishchenko M. Maffei and C. Schneidewind. 2018. EtherTrust: Sound Static Analysis of Ethereum Bytecode. Technical Report. Retrieved from https:\/\/pdfs.semanticscholar.org\/26c2\/b7e7479336d44891aadda6b5eaae2ca2ee91.pdf."},{"key":"e_1_2_2_106_1","volume-title":"Proceedings of the ICCAV. Springer, 51--78","author":"Grishchenko I.","unstructured":"I. Grishchenko , M. Maffei , and C. Schneidewind . 2018. Foundations and tools for the static analysis of ethereum smart contracts . In Proceedings of the ICCAV. Springer, 51--78 . I. Grishchenko, M. Maffei, and C. Schneidewind. 2018. Foundations and tools for the static analysis of ethereum smart contracts. In Proceedings of the ICCAV. Springer, 51--78."},{"key":"e_1_2_2_107_1","volume-title":"Proceedings of the POST. Springer, 243--269","author":"Grishchenko I.","unstructured":"I. Grishchenko , M. Maffei , and C. Schneidewind . 2018. A semantic framework for the security analysis of ethereum smart contracts . In Proceedings of the POST. Springer, 243--269 . I. Grishchenko, M. Maffei, and C. Schneidewind. 2018. A semantic framework for the security analysis of ethereum smart contracts. In Proceedings of the POST. Springer, 243--269."},{"key":"e_1_2_2_108_1","volume-title":"Proceedings of the PoPL. 48","author":"Grossman S.","unstructured":"S. Grossman , I. Abraham , G. Golan-Gueta , Y. Michalevsky , N. Rinetzky , M. Sagiv , and Y. Zohar . 2017. Online detection of effectively callback free objects with applications to smart contracts . In Proceedings of the PoPL. 48 . S. Grossman, I. Abraham, G. Golan-Gueta, Y. Michalevsky, N. Rinetzky, M. Sagiv, and Y. Zohar. 2017. Online detection of effectively callback free objects with applications to smart contracts. In Proceedings of the PoPL. 48."},{"key":"e_1_2_2_109_1","unstructured":"C. Grunspan and R. P\u00e9rez-Marco. 2019. Selfish mining and Dyck words in Bitcoin and Ethereum networks. arXiv:1904.07675.  C. Grunspan and R. P\u00e9rez-Marco. 2019. Selfish mining and Dyck words in Bitcoin and Ethereum networks. arXiv:1904.07675."},{"key":"e_1_2_2_110_1","unstructured":"Cyril Grunspan and Ricardo P\u00e9rez-Marco. 2019. Selfish mining in ethereum. arXiv:1904.13330.  Cyril Grunspan and Ricardo P\u00e9rez-Marco. 2019. Selfish mining in ethereum. arXiv:1904.13330."},{"key":"e_1_2_2_111_1","volume-title":"Proceedings of the HotSoS\u201914","volume":"10","author":"Han Y.","unstructured":"Y. Han , W. Lu , and S. Xu . 2014. Characterizing the power of moving target defense via cyber epidemic dynamics . In Proceedings of the HotSoS\u201914 , Vol. 10 . 1--12. Y. Han, W. Lu, and S. Xu. 2014. Characterizing the power of moving target defense via cyber epidemic dynamics. In Proceedings of the HotSoS\u201914, Vol. 10. 1--12."},{"key":"e_1_2_2_112_1","unstructured":"D. Harz and W. Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. arXiv:1809.09805.  D. Harz and W. Knottenbelt. 2018. Towards safer smart contracts: A survey of languages and verification methods. arXiv:1809.09805."},{"key":"e_1_2_2_113_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2876971"},{"key":"e_1_2_2_114_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905689"},{"key":"e_1_2_2_115_1","volume-title":"Proceedings of the EuroS8P. 300--309","author":"Henningsen S.","unstructured":"S. Henningsen , D. Teunis , M. Florian , and B. Scheuermann . 2019. Eclipsing ethereum peers with false friends . In Proceedings of the EuroS8P. 300--309 . S. Henningsen, D. Teunis, M. Florian, and B. Scheuermann. 2019. Eclipsing ethereum peers with false friends. In Proceedings of the EuroS8P. 300--309."},{"key":"e_1_2_2_116_1","volume-title":"Proceedings of the CSF. 204--217","author":"Hildenbrandt E.","unstructured":"E. Hildenbrandt , M. Saxena , N. Rodrigues , X. Zhu , P. Daian , D. Guth , B. Moore , D. Park , Y. Zhang , and A. Stefanescu . 2018. KEVM: A complete formal semantics of the ethereum virtual machine . In Proceedings of the CSF. 204--217 . E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, and A. Stefanescu. 2018. KEVM: A complete formal semantics of the ethereum virtual machine. In Proceedings of the CSF. 204--217."},{"key":"e_1_2_2_117_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"e_1_2_2_118_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2946988"},{"key":"e_1_2_2_119_1","volume-title":"Proceedings of the ASE. 259--269","author":"Jiang B.","unstructured":"B. Jiang , Y. Liu , and W. Chan . 2018. Contractfuzzer: Fuzzing smart contracts for vulnerability detection . In Proceedings of the ASE. 259--269 . B. Jiang, Y. Liu, and W. Chan. 2018. Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In Proceedings of the ASE. 259--269."},{"key":"e_1_2_2_120_1","unstructured":"A. Judmayer N. Stifter A. Zamyatin I. Tsabary I. Eyal P. Gazi S. Meiklejohn and E. Weippl. 2019. Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies. Technical Report. Cryptology ePrint Archive Report 2019\/775.  A. Judmayer N. Stifter A. Zamyatin I. Tsabary I. Eyal P. Gazi S. Meiklejohn and E. Weippl. 2019. Pay-To-Win: Incentive Attacks on Proof-of-Work Cryptocurrencies. Technical Report. Cryptology ePrint Archive Report 2019\/775."},{"key":"e_1_2_2_121_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_2_2_122_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.11.022"},{"key":"e_1_2_2_123_1","volume-title":"Proceedings of the CRYPTO. 357--388","author":"Kiayias A.","unstructured":"A. Kiayias , A. Russell , B. David , and R. Oliynykov . 2017. Ouroboros: A provably secure proof-of-stake blockchain protocol . In Proceedings of the CRYPTO. 357--388 . A. Kiayias, A. Russell, B. David, and R. Oliynykov. 2017. Ouroboros: A provably secure proof-of-stake blockchain protocol. In Proceedings of the CRYPTO. 357--388."},{"key":"e_1_2_2_124_1","volume-title":"Proceedings of the ACM HotNets. 94--100","author":"Kiffer L.","unstructured":"L. Kiffer , D. Levin , and A. Mislove . 2017. Stick a fork in it: Analyzing the Ethereum network partition . In Proceedings of the ACM HotNets. 94--100 . L. Kiffer, D. Levin, and A. Mislove. 2017. Stick a fork in it: Analyzing the Ethereum network partition. In Proceedings of the ACM HotNets. 94--100."},{"key":"e_1_2_2_126_1","volume-title":"Proceedings of the ACM IMC. 91--104","author":"Kim S.","unstructured":"S. Kim , Z. Ma , S. Murali , J. Mason , A. Miller , and M. Bailey . 2018. Measuring ethereum network peers . In Proceedings of the ACM IMC. 91--104 . S. Kim, Z. Ma, S. Murali, J. Mason, A. Miller, and M. Bailey. 2018. Measuring ethereum network peers. In Proceedings of the ACM IMC. 91--104."},{"key":"e_1_2_2_127_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_2_2_128_1","volume-title":"Ppcoin: Peer-to-peer crypto-currency with proof-of-stake. Self-published Paper.","author":"King Sunny","year":"2012","unstructured":"Sunny King and Scott Nadal . 2012 . Ppcoin: Peer-to-peer crypto-currency with proof-of-stake. Self-published Paper. Retrieved from https:\/\/www.chainwhy.com\/upload\/default\/20180619\/126a057fef926dc286accb372da46955.pdf. Sunny King and Scott Nadal. 2012. Ppcoin: Peer-to-peer crypto-currency with proof-of-stake. Self-published Paper. Retrieved from https:\/\/www.chainwhy.com\/upload\/default\/20180619\/126a057fef926dc286accb372da46955.pdf."},{"key":"e_1_2_2_129_1","volume-title":"Proceedings of the IEEE SP. 839--858","author":"Kosba A.","unstructured":"A. Kosba , A. Miller , E. Shi , Z. Wen , and C. Papamanthou . 2016. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts . In Proceedings of the IEEE SP. 839--858 . A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou. 2016. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. In Proceedings of the IEEE SP. 839--858."},{"key":"e_1_2_2_130_1","volume-title":"Proceedings of the UsenixSecurity. 1317--1333","author":"Krupp J.","unstructured":"J. Krupp and C. Rossow . 2018. teether: Gnawing at ethereum to automatically exploit smart contracts . In Proceedings of the UsenixSecurity. 1317--1333 . J. Krupp and C. Rossow. 2018. teether: Gnawing at ethereum to automatically exploit smart contracts. In Proceedings of the UsenixSecurity. 1317--1333."},{"key":"e_1_2_2_131_1","unstructured":"Ao Li and Fan Long. 2018. Detecting standard violation errors in smart contracts. arXiv:1812.07702.  Ao Li and Fan Long. 2018. Detecting standard violation errors in smart contracts. arXiv:1812.07702."},{"key":"e_1_2_2_132_1","volume-title":"Proceedings of the DPM CBT. 297--315","author":"Li W.","unstructured":"W. Li , S. Andreina , J. Bohli , and G. Karame . 2017. Securing proof-of-stake blockchain protocols . In Proceedings of the DPM CBT. 297--315 . W. Li, S. Andreina, J. Bohli, and G. Karame. 2017. Securing proof-of-stake blockchain protocols. In Proceedings of the DPM CBT. 297--315."},{"issue":"2020","key":"e_1_2_2_133_1","first-page":"841","article-title":"A survey on the security of blockchain systems","volume":"107","author":"Li X.","year":"2017","unstructured":"X. Li , P. Jiang , T. Chen , X. Luo , and Q. Wen . 2017 . A survey on the security of blockchain systems . Future Gen. Comput. Syst. 107 ( 2020 ), 841 -- 853 . X. Li, P. Jiang, T. Chen, X. Luo, and Q. Wen. 2017. A survey on the security of blockchain systems. Future Gen. Comput. Syst. 107 (2020), 841--853.","journal-title":"Future Gen. Comput. Syst."},{"key":"e_1_2_2_134_1","first-page":"28","article-title":"A stochastic model for quantitative security analyses of networked systems","volume":"8","author":"Li X.","year":"2011","unstructured":"X. Li , P. Parker , and S. Xu . 2011 . A stochastic model for quantitative security analyses of networked systems . IEEE TDSC 8 , 1, 28 -- 43 . X. Li, P. Parker, and S. Xu. 2011. A stochastic model for quantitative security analyses of networked systems. IEEE TDSC 8, 1, 28--43.","journal-title":"IEEE TDSC"},{"key":"e_1_2_2_135_1","unstructured":"Z. Li D. Zou S. Xu H. Jin Y. Zhu Z. Chen S. Wang and J. Wang. 2018. SySeVR: A framework for using deep learning to detect software vulnerabilities. CoRR abs\/1807.06756.  Z. Li D. Zou S. Xu H. Jin Y. Zhu Z. Chen S. Wang and J. Wang. 2018. SySeVR: A framework for using deep learning to detect software vulnerabilities. CoRR abs\/1807.06756."},{"key":"e_1_2_2_136_1","volume-title":"Proceedings of the NDSS.","author":"Li Z.","unstructured":"Z. Li , D. Zou , S. Xu , X. Ou , H. Jin , S. Wang , Z. Deng , and Y. Zhong . 2018. VulDeePecker: A deep learning-based system for vulnerability detection . In Proceedings of the NDSS. Z. Li, D. Zou, S. Xu, X. Ou, H. Jin, S. Wang, Z. Deng, and Y. Zhong. 2018. VulDeePecker: A deep learning-based system for vulnerability detection. In Proceedings of the NDSS."},{"key":"e_1_2_2_137_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2019.2912847"},{"key":"e_1_2_2_138_1","volume-title":"Proceedings of the ICSE. 65--68","author":"Liu C.","unstructured":"C. Liu , H. Liu , Z. Cao , Z. Chen , B. Chen , and B. Roscoe . 2018. ReGuard: Finding reentrancy bugs in smart contracts . In Proceedings of the ICSE. 65--68 . C. Liu, H. Liu, Z. Cao, Z. Chen, B. Chen, and B. Roscoe. 2018. ReGuard: Finding reentrancy bugs in smart contracts. In Proceedings of the ICSE. 65--68."},{"key":"e_1_2_2_139_1","volume-title":"Proceedings of the ACM CCS. 254--269","author":"Luu L.","unstructured":"L. Luu , D. Chu , H. Olickel , P. Saxena , and A. Hobor . 2016. Making smart contracts smarter . In Proceedings of the ACM CCS. 254--269 . L. Luu, D. Chu, H. Olickel, P. Saxena, and A. Hobor. 2016. Making smart contracts smarter. In Proceedings of the ACM CCS. 254--269."},{"key":"e_1_2_2_140_1","volume-title":"Proceedings of the ACM CCS. 706--719","author":"Luu L.","unstructured":"L. Luu , J. Teutsch , R. Kulkarni , and P. Saxena . 2015. Demystifying incentives in the consensus computer . In Proceedings of the ACM CCS. 706--719 . L. Luu, J. Teutsch, R. Kulkarni, and P. Saxena. 2015. Demystifying incentives in the consensus computer. In Proceedings of the ACM CCS. 706--719."},{"key":"e_1_2_2_141_1","volume-title":"Proceedings of the UsenixSecurity. 1409--1426","author":"Luu L.","unstructured":"L. Luu , Y. Velner , J. Teutsch , and P. Saxena . 2017. Smartpool: Practical decentralized pooled mining . In Proceedings of the UsenixSecurity. 1409--1426 . L. Luu, Y. Velner, J. Teutsch, and P. Saxena. 2017. Smartpool: Practical decentralized pooled mining. In Proceedings of the UsenixSecurity. 1409--1426."},{"key":"e_1_2_2_142_1","unstructured":"Y. Marcus E. Heilman and S. Goldberg. 2018. Low-resource eclipse attacks on Ethereum\u2019s peer-to-peer network. Retrieved from http:\/\/ljk.imag.fr\/membres\/Jean-Guillaume.Dumas\/Enseignements\/ProjetsCrypto\/Ethereum\/236.pdf.  Y. Marcus E. Heilman and S. Goldberg. 2018. Low-resource eclipse attacks on Ethereum\u2019s peer-to-peer network. Retrieved from http:\/\/ljk.imag.fr\/membres\/Jean-Guillaume.Dumas\/Enseignements\/ProjetsCrypto\/Ethereum\/236.pdf."},{"key":"e_1_2_2_143_1","doi-asserted-by":"crossref","unstructured":"A. Mavridou and A. Laszka. 2017. Designing secure ethereum smart contracts: A finite state machine based approach. arXiv:1711.09327.  A. Mavridou and A. Laszka. 2017. Designing secure ethereum smart contracts: A finite state machine based approach. arXiv:1711.09327.","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_2_2_144_1","volume-title":"Proceedings of the FinancialCRYPTO. 3--18","author":"McCorry Patrick","year":"2018","unstructured":"Patrick McCorry , Alexander Hicks , and Sarah Meiklejohn . 2018 . Smart contracts for bribing miners . In Proceedings of the FinancialCRYPTO. 3--18 . Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn. 2018. Smart contracts for bribing miners. In Proceedings of the FinancialCRYPTO. 3--18."},{"key":"e_1_2_2_145_1","volume-title":"Algorand: The efficient and democratic ledger. arXiv preprint arXiv:1607.01341","author":"Micali Silvio","year":"2016","unstructured":"Silvio Micali . 2016 . Algorand: The efficient and democratic ledger. arXiv preprint arXiv:1607.01341 (2016). Silvio Micali. 2016. Algorand: The efficient and democratic ledger. arXiv preprint arXiv:1607.01341 (2016)."},{"key":"e_1_2_2_146_1","volume-title":"Proceedings of the ACM CCS. 680--691","author":"Miller A.","unstructured":"A. Miller , A. Kosba , J. Katz , and E. Shi . 2015. Nonoutsourceable scratch-off puzzles to discourage bitcoin mining coalitions . In Proceedings of the ACM CCS. 680--691 . A. Miller, A. Kosba, J. Katz, and E. Shi. 2015. Nonoutsourceable scratch-off puzzles to discourage bitcoin mining coalitions. In Proceedings of the ACM CCS. 680--691."},{"key":"e_1_2_2_147_1","first-page":"3217","article-title":"Metrics towards measuring cyber agility","volume":"14","author":"Mireles J.","year":"2019","unstructured":"J. Mireles , E. Ficke , J. Cho , P. Hurley , and S. Xu . 2019 . Metrics towards measuring cyber agility . IEEE TIFS 14 , 12 (2019), 3217 -- 3232 . J. Mireles, E. Ficke, J. Cho, P. Hurley, and S. Xu. 2019. Metrics towards measuring cyber agility. IEEE TIFS 14, 12 (2019), 3217--3232.","journal-title":"IEEE TIFS"},{"key":"e_1_2_2_148_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system.","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto . 2008 . Bitcoin: A peer-to-peer electronic cash system. Retrieved from https:\/\/bitcoin.org\/bitcoin.pdf. Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. Retrieved from https:\/\/bitcoin.org\/bitcoin.pdf."},{"key":"e_1_2_2_149_1","first-page":"4","article-title":"Refinement and verification of CBC casper","volume":"2","author":"Nakamura Ryuya","year":"2019","unstructured":"Ryuya Nakamura , Takayuki Jimba , and Dominik Harz . 2019 . Refinement and verification of CBC casper . Networks 2 (2019), 4 . Ryuya Nakamura, Takayuki Jimba, and Dominik Harz. 2019. Refinement and verification of CBC casper. Networks 2 (2019), 4.","journal-title":"Networks"},{"key":"e_1_2_2_150_1","volume-title":"Proceedings of the IEEE\/IFIP DSN. 579--590","author":"Natoli C.","unstructured":"C. Natoli and V. Gramoli . 2017. The balance attack or why forkable blockchains are ill-suited for consortium . In Proceedings of the IEEE\/IFIP DSN. 579--590 . C. Natoli and V. Gramoli. 2017. The balance attack or why forkable blockchains are ill-suited for consortium. In Proceedings of the IEEE\/IFIP DSN. 579--590."},{"key":"e_1_2_2_151_1","first-page":"48","article-title":"Model-based evaluation: From dependability to security","volume":"1","author":"Nicol D.","year":"2004","unstructured":"D. Nicol , W. Sanders , and K. Trivedi . 2004 . Model-based evaluation: From dependability to security . IEEE TDSC 1 , 1 (2004), 48 -- 65 . D. Nicol, W. Sanders, and K. Trivedi. 2004. Model-based evaluation: From dependability to security. IEEE TDSC 1, 1 (2004), 48--65.","journal-title":"IEEE TDSC"},{"key":"e_1_2_2_152_1","volume-title":"Proceedings of the ACSAC. 653--663","author":"Nikoli\u0107 I.","unstructured":"I. Nikoli\u0107 , A. Kolluri , I. Sergey , P. Saxena , and A. Hobor . 2018. Finding the greedy, prodigal, and suicidal contracts at scale . In Proceedings of the ACSAC. 653--663 . I. Nikoli\u0107, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor. 2018. Finding the greedy, prodigal, and suicidal contracts at scale. In Proceedings of the ACSAC. 653--663."},{"key":"e_1_2_2_153_1","volume-title":"A Proof Assistant for Higher-order Logic","author":"Nipkow Tobias","unstructured":"Tobias Nipkow , Lawrence C. Paulson , and Markus Wenzel . 2002. Isabelle\/HOL : A Proof Assistant for Higher-order Logic . Vol. 2283 . Springer . Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel. 2002. Isabelle\/HOL: A Proof Assistant for Higher-order Logic. Vol. 2283. Springer."},{"key":"e_1_2_2_154_1","unstructured":"Jianyu Niu and Chen Feng. 2019. Selfish mining in Ethereum. arXiv:1901.04620.  Jianyu Niu and Chen Feng. 2019. Selfish mining in Ethereum. arXiv:1901.04620."},{"key":"e_1_2_2_155_1","doi-asserted-by":"crossref","unstructured":"S. Noel and S. Jajodia. 2017. A Suite of Metrics for Network Attack Graph Analytics. Springer International Publishing Cham 141--176.  S. Noel and S. Jajodia. 2017. A Suite of Metrics for Network Attack Graph Analytics. Springer International Publishing Cham 141--176.","DOI":"10.1007\/978-3-319-66505-4_7"},{"key":"e_1_2_2_156_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139337.3139340"},{"key":"e_1_2_2_157_1","volume-title":"Proceedings of the of ACM ESEC\/FSE. ACM, 912--915","author":"Park D.","unstructured":"D. Park , Y. Zhang , M. Saxena , P. Daian , and G. Ro\u015fu . 2018. A formal verification tool for Ethereum VM bytecode . In Proceedings of the of ACM ESEC\/FSE. ACM, 912--915 . D. Park, Y. Zhang, M. Saxena, P. Daian, and G. Ro\u015fu. 2018. A formal verification tool for Ethereum VM bytecode. In Proceedings of the of ACM ESEC\/FSE. ACM, 912--915."},{"key":"e_1_2_2_158_1","doi-asserted-by":"crossref","unstructured":"M. Pendleton R. Garcia-Lebron J. Cho and S. Xu. 2016. A survey on systems security metrics. ACM Comput. Surv. 49 4 62:1--62:35.  M. Pendleton R. Garcia-Lebron J. Cho and S. Xu. 2016. A survey on systems security metrics. ACM Comput. Surv. 49 4 62:1--62:35.","DOI":"10.1145\/3005714"},{"key":"e_1_2_2_159_1","unstructured":"L. Quan L. Wu and H. Wang. 2019. EVulHunter: Detecting fake transfer vulnerabilities for EOSIO\u2019s smart contracts at webassembly-level. arXiv:1906.10362.  L. Quan L. Wu and H. Wang. 2019. EVulHunter: Detecting fake transfer vulnerabilities for EOSIO\u2019s smart contracts at webassembly-level. arXiv:1906.10362."},{"key":"e_1_2_2_160_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2745505"},{"key":"e_1_2_2_161_1","volume-title":"Proceedings of the IEEE EuroS8P. 50--57","author":"Ritz F.","unstructured":"F. Ritz and A. Zugenmaier . 2018. The impact of uncle rewards on selfish mining in ethereum . In Proceedings of the IEEE EuroS8P. 50--57 . F. Ritz and A. Zugenmaier. 2018. The impact of uncle rewards on selfish mining in ethereum. In Proceedings of the IEEE EuroS8P. 50--57."},{"key":"e_1_2_2_162_1","volume-title":"Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv:1812.05934.","author":"Rodler M.","year":"2018","unstructured":"M. Rodler , W. Li , G. Karame , and L. Davi . 2018 . Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv:1812.05934. M. Rodler, W. Li, G. Karame, and L. Davi. 2018. Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv:1812.05934."},{"key":"e_1_2_2_163_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_2_2_164_1","doi-asserted-by":"crossref","unstructured":"M. Saad J. Spaulding L. Njilla C. Kamhoua S. Shetty D. Nyang and A. Mohaisen. 2019. Exploring the attack surface of blockchain: A systematic overview. arXiv:1904.03487.  M. Saad J. Spaulding L. Njilla C. Kamhoua S. Shetty D. Nyang and A. Mohaisen. 2019. Exploring the attack surface of blockchain: A systematic overview. arXiv:1904.03487.","DOI":"10.1002\/9781119519621.ch3"},{"key":"e_1_2_2_165_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2890507"},{"key":"e_1_2_2_166_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_2_2_167_1","volume-title":"Proceedings of the ACM on Programming Languages. ACM, 218--219","author":"Schrans F.","unstructured":"F. Schrans , S. Eisenbach , and S. Drossopoulou . 2018. Writing safe smart contracts in Flint . In Proceedings of the ACM on Programming Languages. ACM, 218--219 . F. Schrans, S. Eisenbach, and S. Drossopoulou. 2018. Writing safe smart contracts in Flint. In Proceedings of the ACM on Programming Languages. ACM, 218--219."},{"key":"e_1_2_2_168_1","volume-title":"Concepts of Programming Languages","author":"Sebesta Robert W.","unstructured":"Robert W. Sebesta . 2012. Concepts of Programming Languages . Pearson , Boston . Robert W. Sebesta. 2012. Concepts of Programming Languages. Pearson, Boston."},{"key":"e_1_2_2_169_1","volume-title":"Scilla: A smart contract intermediate-level language. arXiv:1801.00687.","author":"Sergey Ilya","year":"2018","unstructured":"Ilya Sergey , Amrit Kumar , and Aquinas Hobor . 2018 . Scilla: A smart contract intermediate-level language. arXiv:1801.00687. Ilya Sergey, Amrit Kumar, and Aquinas Hobor. 2018. Scilla: A smart contract intermediate-level language. arXiv:1801.00687."},{"key":"e_1_2_2_170_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47854-7_32"},{"key":"e_1_2_2_171_1","volume-title":"Proceedings of the DEF CON. 11","author":"Suiche Matt","year":"2017","unstructured":"Matt Suiche . 2017 . Porosity: A decompiler for blockchain-based smart contracts bytecode . In Proceedings of the DEF CON. 11 . Matt Suiche. 2017. Porosity: A decompiler for blockchain-based smart contracts bytecode. In Proceedings of the DEF CON. 11."},{"key":"e_1_2_2_172_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-net.2018.5026"},{"key":"e_1_2_2_173_1","volume-title":"Kohlweiss et\u00a0al","author":"Swamy N.","year":"2016","unstructured":"N. Swamy , C. Hri\u0163cu , C. Keller , A. Rastogi , A. Lavaud , S. Forest , K. Bhargavan , C. Fournet , P. Strub , M. Kohlweiss et\u00a0al . 2016 . Dependent types and multi-monadic effects in F. In ACM SIGPLAN Notices, Vol. 51 . ACM , 256--270. N. Swamy, C. Hri\u0163cu, C. Keller, A. Rastogi, A. Lavaud, S. Forest, K. Bhargavan, C. Fournet, P. Strub, M. Kohlweiss et\u00a0al. 2016. Dependent types and multi-monadic effects in F. In ACM SIGPLAN Notices, Vol. 51. ACM, 256--270."},{"key":"e_1_2_2_174_1","unstructured":"A. Tann X. Han S. Gupta and Y. Ong. 2018. Towards safer smart contracts: A sequence learning approach to detecting vulnerabilities. arXiv:1811.06632.  A. Tann X. Han S. Gupta and Y. Ong. 2018. Towards safer smart contracts: A sequence learning approach to detecting vulnerabilities. arXiv:1811.06632."},{"key":"e_1_2_2_175_1","volume-title":"Proceedings of the IEEE\/ACM WETSEB. 9--16","author":"Tikhomirov S.","unstructured":"S. Tikhomirov , E. Voskresenskaya , I. Ivanitskiy , R. Takhaviev , E. Marchenko , and Y. Alexandrov . 2018. Smartcheck: Static analysis of ethereum smart contracts . In Proceedings of the IEEE\/ACM WETSEB. 9--16 . S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko, and Y. Alexandrov. 2018. Smartcheck: Static analysis of ethereum smart contracts. In Proceedings of the IEEE\/ACM WETSEB. 9--16."},{"key":"e_1_2_2_176_1","volume-title":"Securify: Practical security analysis of smart contracts. arXiv:1806.01143.","author":"Tsankov P.","year":"2018","unstructured":"P. Tsankov , A. Dan , D. Cohen , A. Gervais , F. Buenzli , and M. Vechev . 2018 . Securify: Practical security analysis of smart contracts. arXiv:1806.01143. P. Tsankov, A. Dan, D. Cohen, A. Gervais, F. Buenzli, and M. Vechev. 2018. Securify: Practical security analysis of smart contracts. arXiv:1806.01143."},{"key":"e_1_2_2_177_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2535718"},{"key":"e_1_2_2_178_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055518.3055526"},{"key":"e_1_2_2_179_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2896108"},{"key":"e_1_2_2_180_1","volume-title":"Proceedings of the GC. IEEE, 1--6.","author":"Wang X.","unstructured":"X. Wang , X. Zha , G. Yu , W. Ni , R. Liu , Y. Guo , X. Niu , and K. Zheng . 2018. Attack and defence of ethereum remote apis . In Proceedings of the GC. IEEE, 1--6. X. Wang, X. Zha, G. Yu, W. Ni, R. Liu, Y. Guo, X. Niu, and K. Zheng. 2018. Attack and defence of ethereum remote apis. In Proceedings of the GC. IEEE, 1--6."},{"key":"e_1_2_2_181_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17659-4_13"},{"key":"e_1_2_2_182_1","volume-title":"Proceedings of the IEEE EuroS8PW. 357--366","author":"Winzer F.","unstructured":"F. Winzer , B. Herd , and S. Faust . 2019. Temporary censorship attacks in the presence of rational miners . In Proceedings of the IEEE EuroS8PW. 357--366 . F. Winzer, B. Herd, and S. Faust. 2019. Temporary censorship attacks in the presence of rational miners. In Proceedings of the IEEE EuroS8PW. 357--366."},{"key":"e_1_2_2_183_1","volume-title":"Proceedings of the IEEE IWBOSE. 2--8.","author":"Wohrer M.","unstructured":"M. Wohrer and U. Zdun . 2018. Smart contracts: Security patterns in the ethereum ecosystem and solidity . In Proceedings of the IEEE IWBOSE. 2--8. M. Wohrer and U. Zdun. 2018. Smart contracts: Security patterns in the ethereum ecosystem and solidity. In Proceedings of the IEEE IWBOSE. 2--8."},{"key":"e_1_2_2_184_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"},{"key":"e_1_2_2_186_1","unstructured":"Y. Xiao N. Zhang W. Lou and Y. Hou. 2019. A survey of distributed consensus protocols for blockchain networks. arxiv:1904.04098  Y. Xiao N. Zhang W. Lou and Y. Hou. 2019. A survey of distributed consensus protocols for blockchain networks. arxiv:1904.04098"},{"key":"e_1_2_2_187_1","doi-asserted-by":"publisher","DOI":"10.1080\/15427951.2014.902407"},{"key":"e_1_2_2_188_1","first-page":"1","article-title":"Cybersecurity dynamics","volume":"14","author":"Xu Shouhuai","year":"2014","unstructured":"Shouhuai Xu . 2014 . Cybersecurity dynamics . In Proceedings of the HotSoS. 14 : 1 -- 14 :2. Shouhuai Xu. 2014. Cybersecurity dynamics. In Proceedings of the HotSoS. 14:1--14:2.","journal-title":"Proceedings of the HotSoS."},{"key":"e_1_2_2_189_1","first-page":"1","article-title":"Emergent behavior in cybersecurity","volume":"13","author":"Xu Shouhuai","year":"2014","unstructured":"Shouhuai Xu . 2014 . Emergent behavior in cybersecurity . In Proceedings of the HotSoS. 13 : 1 -- 13 :2. Shouhuai Xu. 2014. Emergent behavior in cybersecurity. In Proceedings of the HotSoS. 13:1--13:2.","journal-title":"Proceedings of the HotSoS."},{"key":"e_1_2_2_190_1","volume-title":"Proactive and Dynamic Network Defense, Zhuo Lu and Cliff Wang (Eds.).","author":"Shouhuai Xu.","unstructured":"Shouhuai Xu. 2019. Cybersecurity dynamics: A foundation for the science of cybersecurity . In Proactive and Dynamic Network Defense, Zhuo Lu and Cliff Wang (Eds.). Vol. 74 . Springer International Publishing , Cham , 1--31. Shouhuai Xu. 2019. Cybersecurity dynamics: A foundation for the science of cybersecurity. In Proactive and Dynamic Network Defense, Zhuo Lu and Cliff Wang (Eds.). Vol. 74. Springer International Publishing, Cham, 1--31."},{"key":"e_1_2_2_191_1","doi-asserted-by":"publisher","DOI":"10.1145\/2348832.2348835"},{"key":"e_1_2_2_192_1","volume-title":"Proceedings of the IEEE IWBOSE. 1--10","author":"Yamashita K.","unstructured":"K. Yamashita , Y. Nomura , E. Zhou , B. Pi , and S. Jun . 2019. Potential risks of hyperledger fabric smart contracts . In Proceedings of the IEEE IWBOSE. 1--10 . K. Yamashita, Y. Nomura, E. Zhou, B. Pi, and S. Jun. 2019. Potential risks of hyperledger fabric smart contracts. In Proceedings of the IEEE IWBOSE. 1--10."},{"key":"e_1_2_2_193_1","unstructured":"V. Zamfir N. Rush A. Asgaonkar and G. Piliouras. 2018. Introducing the \u201cMinimal CBC Casper\u201d Family of Consensus Protocols. Retrieved from https:\/\/github.com\/cbc-casper\/cbc-casper-paper\/blob\/master\/cbc-casper-paper-draft.pdf.  V. Zamfir N. Rush A. Asgaonkar and G. Piliouras. 2018. Introducing the \u201cMinimal CBC Casper\u201d Family of Consensus Protocols. Retrieved from https:\/\/github.com\/cbc-casper\/cbc-casper-paper\/blob\/master\/cbc-casper-paper-draft.pdf."},{"key":"e_1_2_2_194_1","volume-title":"Proceedings of the IEEE PST. 35--358","author":"Zeng G.","unstructured":"G. Zeng , S. Yiu , J. Zhang , H. Kuzuno , and M. Au . 2017. A nonoutsourceable puzzle under GHOST rule . In Proceedings of the IEEE PST. 35--358 . G. Zeng, S. Yiu, J. Zhang, H. Kuzuno, and M. Au. 2017. A nonoutsourceable puzzle under GHOST rule. In Proceedings of the IEEE PST. 35--358."},{"key":"e_1_2_2_195_1","volume-title":"Proceedings of the ACM CCS. 270--282","author":"Zhang F.","unstructured":"F. Zhang , E. Cecchetti , K. Croman , A. Juels , and E. Shi . 2016. Town crier: An authenticated data feed for smart contracts . In Proceedings of the ACM CCS. 270--282 . F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi. 2016. Town crier: An authenticated data feed for smart contracts. In Proceedings of the ACM CCS. 270--282."},{"key":"e_1_2_2_196_1","unstructured":"R. Zhang R. Xue and L. Liu. 2019. Security and privacy on blockchain. CoRR abs\/1903.07602.  R. Zhang R. Xue and L. Liu. 2019. Security and privacy on blockchain. CoRR abs\/1903.07602."},{"key":"e_1_2_2_197_1","first-page":"1","article-title":"Active cyber defense dynamics exhibiting rich phenomena","volume":"2","author":"Zheng R.","year":"2015","unstructured":"R. Zheng , W. Lu , and S. Xu . 2015 . Active cyber defense dynamics exhibiting rich phenomena . In Proceedings of the HotSoS. 2 : 1 -- 2 :12. R. Zheng, W. Lu, and S. Xu. 2015. Active cyber defense dynamics exhibiting rich phenomena. In Proceedings of the HotSoS. 2:1--2:12.","journal-title":"Proceedings of the HotSoS."},{"key":"e_1_2_2_198_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2017.2734904"},{"key":"e_1_2_2_199_1","volume-title":"Proceedings of the USENIXSecurity.","author":"Zhou Y.","unstructured":"Y. Zhou , D. Kumar , S. Bakshi , J. Mason , A. Miller , and M. Bailey . 2018. Erays: Reverse engineering ethereum\u2019s opaque smart contracts . In Proceedings of the USENIXSecurity. Y. Zhou, D. Kumar, S. Bakshi, J. Mason, A. Miller, and M. Bailey. 2018. Erays: Reverse engineering ethereum\u2019s opaque smart contracts. In Proceedings of the USENIXSecurity."},{"key":"e_1_2_2_200_1","unstructured":"L. Zhu B. Zheng M. Shen S. Yu F. Gao H. Li K. Shi and K. Gai. 2018. Research on the security of blockchain data: A survey. CoRR abs\/1812.02009.  L. Zhu B. Zheng M. Shen S. Yu F. Gao H. Li K. Shi and K. Gai. 2018. Research on the security of blockchain data: A survey. CoRR abs\/1812.02009."}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3391195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3391195","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3391195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:37Z","timestamp":1750199917000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3391195"}},"subtitle":["Vulnerabilities, Attacks, and Defenses"],"short-title":[],"issued":{"date-parts":[[2020,6,12]]},"references-count":198,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,5,31]]}},"alternative-id":["10.1145\/3391195"],"URL":"https:\/\/doi.org\/10.1145\/3391195","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,12]]},"assertion":[{"value":"2019-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}