{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T13:20:05Z","timestamp":1780060805008,"version":"3.54.0"},"reference-count":161,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T00:00:00Z","timestamp":1641945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T00:00:00Z","timestamp":1641945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62032019,61732019, 61672435, 61811530327"],"award-info":[{"award-number":["62032019,61732019, 61672435, 61811530327"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Capacity Development Foundation of Southwest University","award":["SWU116007"],"award-info":[{"award-number":["SWU116007"]}]},{"name":"Special Foundation for Basic Science and Frontier Technology Research Program of Chongqing","award":["cstc2017jcyjAX0295"],"award-info":[{"award-number":["cstc2017jcyjAX0295"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Peer-to-Peer Netw. Appl."],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s12083-021-01268-2","type":"journal-article","created":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T00:02:41Z","timestamp":1641945761000},"page":"1008-1028","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A survey on security in consensus and smart contracts"],"prefix":"10.1007","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2227-9896","authenticated-orcid":false,"given":"Xuelian","family":"Cao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianhui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuechen","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9026-2543","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,1,12]]},"reference":[{"issue":"5","key":"1268_CR1","first-page":"56","volume":"53","author":"J Kogure","year":"2017","unstructured":"Kogure J, Kamakura K, Shima T (2017) Blockchain Technology for Next Generation ICT. Fujitsu Sci Tech J 53(5):56\u201361","journal-title":"Fujitsu Sci Tech J"},{"key":"1268_CR2","unstructured":"Kagan J (2020) Financial Technology Fintech. https:\/\/www.investopedia.com\/terms\/f\/fintech.asp. Accessed 29 Nov 2020"},{"key":"1268_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.3389\/fbloc.2019.00022","volume":"2","author":"C Berg","year":"2019","unstructured":"Berg C, Davidson S, Potts J (2019) Blockchain Technology as Economic Infrastructure: Revisiting the Electronic Markets Hypothesis. Frontiers in Blockchain 2:22","journal-title":"Frontiers in Blockchain"},{"issue":"11","key":"1268_CR4","doi-asserted-by":"publisher","first-page":"4274","DOI":"10.3390\/su10114274","volume":"10","author":"T Ko","year":"2018","unstructured":"Ko T, Lee J, Ryu D (2018) Blockchain Technology and Manufacturing Industry: Real-Time Transparency and Cost Savings. Sustainability 10(11):4274","journal-title":"Sustainability"},{"key":"1268_CR5","unstructured":"Nakamoto S (2008) Bitcoin : A Peer-to-Peer Electronic Cash System. https:\/\/bitcoin.org\/bitcoin.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR6","doi-asserted-by":"crossref","unstructured":"Yaga D, Mell P, Roby N, Scarfone K (2018) Blockchain technology overview. https:\/\/nvlpubs.nist.gov\/nistpubs\/ir\/2018\/NIST.IR.8202.pdf. Accessed 29 Nov 2020","DOI":"10.6028\/NIST.IR.8202"},{"key":"1268_CR7","unstructured":"Das P, Eckey L, Frassetto T, Gens D, Host\u00e1kov\u00e1 K, Jauernig P, Faust S, Sadeghi A (2019) FastKitten: Practical Smart Contracts on Bitcoin. In: 28th USENIX Security Symposium, USENIX Association, pp 801\u2013818"},{"key":"1268_CR8","unstructured":"Szabo N (1996) Smart Contracts : Building Blocks for Digital Markets. https:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart_contracts_2.html. Accessed 29 Nov 2020"},{"key":"1268_CR9","doi-asserted-by":"crossref","unstructured":"Zhu Y, Zhang X, Ju ZY, Wang C (2020) A study of blockchain technology development and military application prospects. J Phys: Conf Ser 1507","DOI":"10.1088\/1742-6596\/1507\/5\/052018"},{"key":"1268_CR10","unstructured":"Buterin V (2013) A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/ethereum.org\/en\/whitepaper\/. Accessed 29 Nov 2020"},{"key":"1268_CR11","doi-asserted-by":"crossref","unstructured":"Johnson M, Jones M, Shervey M, Dudley JT, Zimmerman N (2019) Building a Secure Biomedical Data Sharing Decentralized App (DApp): Tutorial 21(10):e13601","DOI":"10.2196\/13601"},{"key":"1268_CR12","doi-asserted-by":"crossref","unstructured":"Davidson S, De\u00a0Filippi P, Potts J (2016) Economics of Blockchain. http:\/\/www.ssrn.com\/abstract=2744751. Accessed 29 Nov 2020","DOI":"10.2139\/ssrn.2744751"},{"issue":"2","key":"1268_CR13","first-page":"1676","volume":"21","author":"MS Ali","year":"2019","unstructured":"Ali MS, Vecchio M, Pincheira M, Dolui K, Antonelli F, Rehmani MH (2019) Applications of Blockchains in the Internet of Things: A Comprehensive Survey 21(2):1676\u20131717","journal-title":"Applications of Blockchains in the Internet of Things: A Comprehensive Survey"},{"key":"1268_CR14","doi-asserted-by":"crossref","unstructured":"Tan L, Shi N, Yu K, Aloqaily M, Jararweh Y (2021a) A Blockchain-empowered Access Control Framework for Smart Devices in Green Internet of Things. ACM Transactions on Internet Technology 21(3):80:1\u201380:20","DOI":"10.1145\/3433542"},{"issue":"11","key":"1268_CR15","doi-asserted-by":"publisher","first-page":"7669","DOI":"10.1109\/TII.2021.3049141","volume":"17","author":"K Yu","year":"2021","unstructured":"Yu K, Tan L, Aloqaily M, Yang H, Jararweh Y (2021) Blockchain-enhanced data sharing with traceable and direct revocation in iiot. IEEE Trans Industr Inf 17(11):7669\u20137678","journal-title":"IEEE Trans Industr Inf"},{"key":"1268_CR16","doi-asserted-by":"crossref","unstructured":"Schar F (2020) Decentralized Finance: On Blockchain- and Smart Contract-based Financial Markets. https:\/\/papers.ssrn.com\/abstract=3571335. Accessed 29 Nov 2020","DOI":"10.2139\/ssrn.3571335"},{"issue":"1","key":"1268_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1177\/0975425319832392","volume":"10","author":"D Kundu","year":"2019","unstructured":"Kundu D (2019) Blockchain and Trust in a Smart City. Environ Urban ASIA 10(1):31\u201343","journal-title":"Environ Urban ASIA"},{"issue":"4","key":"1268_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.3390\/fi12040061","volume":"12","author":"P Singh","year":"2020","unstructured":"Singh P, Nayyar A, Kaur A, Ghosh U (2020) Blockchain and fog based architecture for internet of everything in smart cities. Future Internet 12(4):61","journal-title":"Future Internet"},{"key":"1268_CR19","doi-asserted-by":"crossref","unstructured":"Tan L, Xiao H, Yu K, Aloqaily M, Jararweh Y (2021b) A blockchain-empowered crowdsourcing system for 5g-enabled smart cities. Computer Standards & Interfaces 76:103517","DOI":"10.1016\/j.csi.2021.103517"},{"key":"1268_CR20","doi-asserted-by":"crossref","unstructured":"Viriyasitavat W, Xu LD, Bi Z, Pungpapong V (2019) Blockchain and Internet of Things for Modern Business Process in Digital Economy the State of the Art. IEEE Trans Comput Soc Syst 6(6):1420\u20131432","DOI":"10.1109\/TCSS.2019.2919325"},{"key":"1268_CR21","doi-asserted-by":"crossref","unstructured":"Frikha T, Chaabane F, Aouinti N, Cheikhrouhou O, Ben Amor N, Kerrouche A (2021) Implementation of Blockchain Consensus Algorithm on Embedded Architecture. Security and Communication Networks 2021","DOI":"10.1155\/2021\/9918697"},{"key":"1268_CR22","doi-asserted-by":"crossref","unstructured":"Tayal A, Solanki A, Kondal R, Nayyar A, Tanwar S, Kumar N (2021) Blockchain-based efficient communication for food supply chain industry: Transparency and traceability analysis for sustainable business. Int J Commun Syst 34(4)","DOI":"10.1002\/dac.4696"},{"issue":"7","key":"1268_CR23","doi-asserted-by":"publisher","first-page":"6576","DOI":"10.1109\/JIOT.2020.2974510","volume":"7","author":"Z Jiang","year":"2020","unstructured":"Jiang Z, Cao Z, Krishnamachari B, Zhou S, Niu Z (2020) SENATE: A Permissionless Byzantine Consensus Protocol in Wireless Networks for Real-Time Internet-of-Things Applications. IEEE Internet Things J 7(7):6576\u20136588","journal-title":"IEEE Internet Things J"},{"key":"1268_CR24","unstructured":"McAfee (2018) Blockchain Threat Report. https:\/\/www.mcafee.com\/enterprise\/en-us\/assets\/reports\/rp-blockchain-security-risks.pdf. Accessed 30 Nov 2020"},{"key":"1268_CR25","unstructured":"Daian P (2016) Analysis of the DAO exploit. https:\/\/hackingdistributed.com\/2016\/06\/18\/analysis-of-the-dao-exploit\/. Accessed 29 Nov 2020"},{"key":"1268_CR26","doi-asserted-by":"crossref","unstructured":"Chen H, Pendleton M, Njilla L, Xu S (2020a) A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses. ACM Computing Surveys 53(3):67:1\u201367:43","DOI":"10.1145\/3391195"},{"key":"1268_CR27","doi-asserted-by":"crossref","unstructured":"Cheng J, Xie L, Tang X, Xiong N, Liu B (2020) A survey of security threats and defense on Blockchain. In: Multimedia Tools and Applications, Springer","DOI":"10.1007\/s11042-020-09368-6"},{"issue":"1","key":"1268_CR28","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/COMST.2020.3033665","volume":"23","author":"I Homoliak","year":"2021","unstructured":"Homoliak I, Venugopalan S, Reijsbergen D, Hum Q, Schumi R, Szalachowski P (2021) The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys & Tutorials 23(1):341\u2013390","journal-title":"IEEE Communications Surveys & Tutorials"},{"key":"1268_CR29","unstructured":"Samreen NF, Alalfi MH (2021) A Survey of Security Vulnerabilities in Ethereum Smart Contracts. CoRR abs\/2105.06974"},{"issue":"10","key":"1268_CR30","doi-asserted-by":"publisher","first-page":"10288","DOI":"10.1109\/JIOT.2020.3004273","volume":"7","author":"E Zaghloul","year":"2020","unstructured":"Zaghloul E, Li T, Mutka M, Ren J (2020) Bitcoin and Blockchain: Security and Privacy. IEEE Internet Things J 7(10):10288\u201310313","journal-title":"IEEE Internet Things J"},{"key":"1268_CR31","doi-asserted-by":"crossref","unstructured":"Kolb J, AbdelBaky M, Katz RH, Culler DE (2020) Core Concepts, Challenges, and Future Directions in Blockchain: A Centralized Tutorial. ACM Computing Surveys 53(1):9:1\u20139:39","DOI":"10.1145\/3366370"},{"key":"1268_CR32","doi-asserted-by":"crossref","unstructured":"Wang Z, Jin H, Dai W, Choo KR, Zou D (2021) Ethereum smart contract security research: survey and future research opportunities. Front Comp Sci 15(2)","DOI":"10.1007\/s11704-020-9284-9"},{"issue":"1","key":"1268_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s42786-018-00002-6","volume":"3","author":"D Dasgupta","year":"2019","unstructured":"Dasgupta D, Shrein JM, Gupta KD (2019) A survey of blockchain from security perspective. J Bank Financial Tech 3(1):1\u201317","journal-title":"J Bank Financial Tech"},{"issue":"1","key":"1268_CR34","first-page":"237","volume":"51","author":"J Leng","year":"2021","unstructured":"Leng J, Zhou M, Zhao JL, Huang Y, Bian Y (2021) Blockchain Security: A Survey of Techniques and Research Directions. IEEE Trans Serv Comput 51(1):237\u2013252","journal-title":"IEEE Trans Serv Comput"},{"issue":"3","key":"1268_CR35","doi-asserted-by":"publisher","first-page":"1977","DOI":"10.1109\/COMST.2020.2975999","volume":"22","author":"M Saad","year":"2020","unstructured":"Saad M, Spaulding J, Njilla L, Kamhoua CA, Shetty S, Nyang D, Mohaisen A (2020) Exploring the Attack Surface of Blockchain: A Comprehensive Survey. IEEE Communications Surveys & Tutorials 22(3):1977\u20132008","journal-title":"IEEE Communications Surveys & Tutorials"},{"key":"1268_CR36","doi-asserted-by":"crossref","unstructured":"Zhang R, Xue R, Liu L (2019) Security and Privacy on Blockchain. ACM Computing Surveys 52(3):51:1\u201351:34","DOI":"10.1145\/3316481"},{"key":"1268_CR37","doi-asserted-by":"crossref","unstructured":"Kim S, Ryu S (2020) Analysis of Blockchain Smart Contracts: Techniques and Insights. In: IEEE Secure Development (SecDev), IEEE, pp 65\u201373","DOI":"10.1109\/SecDev45635.2020.00026"},{"key":"1268_CR38","doi-asserted-by":"crossref","unstructured":"Tolmach P, Li Y, Lin S, Liu Y, Li Z (2021) A Survey of Smart Contract Formal Specification and Verification. ACM Computing Surveys 54(7):141:1\u2013141:38","DOI":"10.1145\/3464421"},{"key":"1268_CR39","doi-asserted-by":"crossref","unstructured":"Dotan M, Pignolet YA, Schmid S, Tochner S, Zohar A (2021) Survey on Blockchain Networking: Context, State-of-the-Art, Challenges. ACM Computing Surveys 54(5):107:1\u2013107:34","DOI":"10.1145\/3453161"},{"key":"1268_CR40","doi-asserted-by":"crossref","unstructured":"Li D, Deng L, Gupta BB, Wang H, Choi C (2019a) A novel CNN based security guaranteed image watermarking generation scenario for smart city applications. Information Sciences 479:432\u2013447","DOI":"10.1016\/j.ins.2018.02.060"},{"key":"1268_CR41","unstructured":"Schollmeier R (2001) A Definition of Peer-to-Peer Networking for the Classification of Peer-to-Peer Architectures and Applications. In: 1st International Conference on Peer-to-Peer Computing (P2P), IEEE Computer Society, pp 101\u2013102"},{"key":"1268_CR42","doi-asserted-by":"crossref","unstructured":"Donet\u00a0Donet JA, P\u00e9rez-Sol\u00e0 C, Herrera-Joancomart\u00ed J (2014) The Bitcoin P2P Network. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 8438, pp 87\u2013102","DOI":"10.1007\/978-3-662-44774-1_7"},{"key":"1268_CR43","unstructured":"Jain S, Mahajan R, Wetherall D (2003) A Study of the Performance Potential of DHT-based Overlays. In: 4th USENIX Symposium on Internet Technologies and Systems (USITS), USENIX Association"},{"issue":"3","key":"1268_CR44","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport L, Shostak R, Pease M (1982) The Byzantine Generals Problem. ACM Trans Program Lang Syst 4(3):382\u2013401","journal-title":"ACM Trans Program Lang Syst"},{"key":"1268_CR45","unstructured":"Satoshi N (2008) Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/bitcoin.org\/bitcoin.pdf. Accessed 29 Nov 2020"},{"issue":"4","key":"1268_CR46","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/571637.571640","volume":"20","author":"M Castro","year":"2002","unstructured":"Castro M, Liskov B (2002) Practical byzantine fault tolerance and proactive recovery. ACM Trans Comp Syst 20(4):398\u2013461","journal-title":"ACM Trans Comp Syst"},{"key":"1268_CR47","doi-asserted-by":"crossref","unstructured":"Bano S, Sonnino A, Al-Bassam M, Azouvi S, McCorry P, Meiklejohn S, Danezis G (2019) SoK: Consensus in the Age of Blockchains. In: Proceedings of the 1st ACM Conference on Advances in Financial Technologies (AFT), ACM, pp 183\u2013198","DOI":"10.1145\/3318041.3355458"},{"key":"1268_CR48","doi-asserted-by":"crossref","unstructured":"Szabo N (1997) Formalizing and Securing Relationships on Public Networks. First Monday 2(9)","DOI":"10.5210\/fm.v2i9.548"},{"key":"1268_CR49","doi-asserted-by":"crossref","unstructured":"Grishchenko I, Maffei M, Schneidewind C (2018a) A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. In: Principles of Security and Trust (POST), Springer, Lecture Notes in Computer Science, vol 10804, pp 243\u2013269","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"1268_CR50","doi-asserted-by":"crossref","unstructured":"Grishchenko I, Maffei M, Schneidewind C (2018b) Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. In: International Conference on Computer Aided Verification (CAV), Springer, Lecture Notes in Computer Science, vol 10981, pp 51\u201378","DOI":"10.1007\/978-3-319-96145-3_4"},{"key":"1268_CR51","unstructured":"Harz D, Knottenbelt WJ (2018) Towards Safer Smart Contracts: A Survey of Languages and Verification Methods. CoRR abs\/1809.09805"},{"key":"1268_CR52","doi-asserted-by":"crossref","unstructured":"Schneidewind C, Grishchenko I, Scherer M, Maffei M (2020) eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. In: ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 621\u2013640","DOI":"10.1145\/3372297.3417250"},{"key":"1268_CR53","doi-asserted-by":"crossref","unstructured":"Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Making Smart Contracts Smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 254\u2013269","DOI":"10.1145\/2976749.2978309"},{"key":"1268_CR54","doi-asserted-by":"crossref","unstructured":"Zupan N, Kasinathan P, Cuellar J, Sauer M (2020) Secure Smart Contract Generation Based on Petri Nets. In: Blockchain Technology for Industry 4.0: Secure, Decentralized, Distributed and Trusted Industry Environment, Springer, pp 73\u201398","DOI":"10.1007\/978-981-15-1137-0_4"},{"key":"1268_CR55","doi-asserted-by":"crossref","unstructured":"Wang S, Zhang C, Su Z (2019a) Detecting nondeterministic payment bugs in Ethereum smart contracts. Proceedings of the ACM on Programming Languages 3(OOPSLA):189:1\u2013189:29","DOI":"10.1145\/3360615"},{"key":"1268_CR56","doi-asserted-by":"crossref","unstructured":"Bartoletti M, Zunino R (2019) Verifying Liquidity of Bitcoin Contracts. In: Principles of Security and Trust (POST), Springer, Lecture Notes in Computer Science, vol 11426, pp 222\u2013247","DOI":"10.1007\/978-3-030-17138-4_10"},{"key":"1268_CR57","doi-asserted-by":"crossref","unstructured":"Nikolic I, Kolluri A, Sergey I, Saxena P, Hobor A (2018) Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. In: Proceedings of the 34th Annual Computer Security Applications Conference (ACSAC), ACM, pp 653\u2013663","DOI":"10.1145\/3274694.3274743"},{"key":"1268_CR58","doi-asserted-by":"crossref","unstructured":"Tsankov P, Dan AM, Drachsler-Cohen D, Gervais A, B\u00fcnzli F, Vechev MT (2018) Securify: Practical Security Analysis of Smart Contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 67\u201382","DOI":"10.1145\/3243734.3243780"},{"key":"1268_CR59","doi-asserted-by":"crossref","unstructured":"Bhargavan K, Delignat-Lavaud A, Fournet C, Gollamudi A, Gonthier G, Kobeissi N, Kulatova N, Rastogi A, Sibut-Pinote T, Swamy N, B\u00e9guelin SZ (2016) Formal Verification of Smart Contracts: Short Paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, ACM, pp 91\u201396","DOI":"10.1145\/2993600.2993611"},{"key":"1268_CR60","first-page":"442","volume-title":"24th International Conference on Software Analysis","author":"T Chen","year":"2017","unstructured":"Chen T, Li X, Luo X, Zhang X (2017) Under-optimized smart contracts devour your money. 24th International Conference on Software Analysis. IEEE Computer Society, Evolution and Reengineering (SANER), pp 442\u2013446"},{"key":"1268_CR61","doi-asserted-by":"crossref","unstructured":"Grech N, Kong M, Jurisevic A, Brent L, Scholz B, Smaragdakis Y (2018) MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proceedings of the ACM on Programming Languages 2(OOPSLA):116:1\u2013116:27","DOI":"10.1145\/3276486"},{"key":"1268_CR62","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45748-8_24","volume":"2429","author":"JR Douceur","year":"2002","unstructured":"Douceur JR (2002) The Sybil Attack. Peer-to-Peer Systems, Springer, Lecture Notes in Computer Science 2429:251\u2013260","journal-title":"Peer-to-Peer Systems, Springer, Lecture Notes in Computer Science"},{"key":"1268_CR63","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s12243-020-00751-w","volume":"75","author":"G Carrara","year":"2020","unstructured":"Carrara G, Burle L, Medeiros D, Albuquerque C, Menezes D (2020) Consistency, availability, and partition tolerance in blockchain: a survey on the consensus mechanism over peer-to-peer networking. Ann Telecommun 75:163\u2013174","journal-title":"Ann Telecommun"},{"key":"1268_CR64","doi-asserted-by":"crossref","unstructured":"Ekparinya P, Gramoli V, Jourjon G (2020) The Attack of the Clones Against Proof-of-Authority. In: 27th Annual Network and Distributed System Security Symposium (NDSS), The Internet Society","DOI":"10.14722\/ndss.2020.24082"},{"key":"1268_CR65","unstructured":"Heilman E, Kendler A, Zohar A, Goldberg S (2015) Eclipse Attacks on Bitcoin\u2019s Peer-to-Peer Network. In: Proceedings of the 24th USENIX Conference on Security Symposium, USENIX Association, pp 129\u2013144"},{"key":"1268_CR66","unstructured":"Wiki B (2018) Confirmation. https:\/\/en.bitcoin.it\/wiki\/Confirmation. Accessed 29 Nov 2020"},{"key":"1268_CR67","doi-asserted-by":"crossref","unstructured":"Eyal I, Sirer EG (2014) Majority Is Not Enough: Bitcoin Mining Is Vulnerable. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 8437, pp 436\u2013454","DOI":"10.1007\/978-3-662-45472-5_28"},{"key":"1268_CR68","doi-asserted-by":"crossref","unstructured":"Apostolaki M, Zohar A, Vanbever L (2017) Hijacking Bitcoin: Routing Attacks on Cryptocurrencies. In: IEEE Symposium on Security and Privacy (SP), IEEE Computer Society, pp 375\u2013392","DOI":"10.1109\/SP.2017.29"},{"key":"1268_CR69","doi-asserted-by":"crossref","unstructured":"Ekparinya P, Gramoli V, Jourjon G (2018) Impact of Man-In-The-Middle Attacks on Ethereum. In: 37th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE Computer Society, pp 11\u201320","DOI":"10.1109\/SRDS.2018.00012"},{"key":"1268_CR70","doi-asserted-by":"crossref","unstructured":"Natoli C, Gramoli V (2017) The Balance Attack or Why Forkable Blockchains are Ill-Suited for Consortium. In: 47th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE Computer Society, pp 579\u2013590","DOI":"10.1109\/DSN.2017.44"},{"key":"1268_CR71","unstructured":"Baumann A, Fabian B, Lischke M (2014) Exploring the Bitcoin Network. In: Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST), SciTePress, vol\u00a01, pp 369\u2013374"},{"key":"1268_CR72","first-page":"53","volume":"1","author":"N Houy","year":"2016","unstructured":"Houy N (2016) The Bitcoin Mining Game. Ledger 1:53\u201368","journal-title":"The Bitcoin Mining Game. Ledger"},{"key":"1268_CR73","doi-asserted-by":"crossref","unstructured":"Xiao Y, Zhang N, Lou W, Hou YT (2020) Modeling the Impact of Network Connectivity on Consensus Security of Proof-of-Work Blockchain. In: 39th IEEE Conference on Computer Communications (INFOCOM), IEEE, pp 1648\u20131657","DOI":"10.1109\/INFOCOM41043.2020.9155451"},{"key":"1268_CR74","doi-asserted-by":"crossref","unstructured":"Xiong Z, Feng S, Niyato D, Wang P, Han Z (2018) Optimal Pricing-Based Edge Computing Resource Management in Mobile Blockchain. In: IEEE International Conference on Communications (ICC), IEEE, pp 1\u20136","DOI":"10.1109\/ICC.2018.8422517"},{"key":"1268_CR75","doi-asserted-by":"crossref","unstructured":"Eyal I (2015) The Miner\u2019s Dilemma. In: IEEE Symposium on Security and Privacy (SP), IEEE Computer Society, pp 89\u2013103","DOI":"10.1109\/SP.2015.13"},{"key":"1268_CR76","unstructured":"Draupnir M (2016) Bitcoin Mining Centralization. https:\/\/www.bitcoinmining.com\/bitcoin-mining-centr-alization\/. Accessed 29 Nov 2020"},{"key":"1268_CR77","doi-asserted-by":"crossref","unstructured":"Sapirshtein A, Sompolinsky Y, Zohar A (2016) Optimal Selfish Mining Strategies in Bitcoin. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 9603, pp 515\u2013532","DOI":"10.1007\/978-3-662-54970-4_30"},{"key":"1268_CR78","unstructured":"Szalachowski P, Reijsbergen D, Homoliak I, Sun S (2019) StrongChain: Transparent and Collaborative Proof-of-Work Consensus. In: 28th USENIX Security Symposium, USENIX Association, pp 819\u2013836"},{"key":"1268_CR79","doi-asserted-by":"crossref","unstructured":"Tsabary I, Eyal I (2018) The Gap Game. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 713\u2013728","DOI":"10.1145\/3243734.3243737"},{"key":"1268_CR80","doi-asserted-by":"crossref","unstructured":"Nayak K, Kumar S, Miller A, Shi E (2016) Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack. In: IEEE European Symposium on Security and Privacy (EuroS&P), IEEE, pp 305\u2013320","DOI":"10.1109\/EuroSP.2016.32"},{"key":"1268_CR81","doi-asserted-by":"crossref","unstructured":"Dong X, Wu F, Faree A, Guo D, Shen Y, Ma J (2019) Selfholding: A combined attack model using selfish mining with block withholding attack. Computer & Security 87","DOI":"10.1016\/j.cose.2019.101584"},{"key":"1268_CR82","doi-asserted-by":"crossref","unstructured":"Kwon Y, Kim D, Son Y, Vasserman EY, Kim Y (2017) Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 195\u2013209","DOI":"10.1145\/3133956.3134019"},{"key":"1268_CR83","unstructured":"Sompolinsky Y, Zohar A (2016) Bitcoin\u2019s Security Model Revisited. CoRR abs\/1605.09193"},{"key":"1268_CR84","unstructured":"Churyumov A (2016) Byteball: A decentralized system for storage and transfer of value. https:\/\/byteball.org\/Byteball.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR85","unstructured":"COTI (2018) COTI: a decentralized, high performance cryptocurrency ecosystem optimized for creating digital payment networks and stable coins. https:\/\/coti.io\/files\/COTI-technical-whitepaper.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR86","doi-asserted-by":"crossref","unstructured":"Garay JA, Kiayias A, Leonardos N (2015) The Bitcoin Backbone Protocol: Analysis and Applications. In: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II, Springer, Lecture Notes in Computer Science, vol 9057, pp 281\u2013310","DOI":"10.1007\/978-3-662-46803-6_10"},{"key":"1268_CR87","doi-asserted-by":"crossref","unstructured":"Negy KA, Rizun PR, Sirer EG (2020) Selfish Mining Re-Examined. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 12059, pp 61\u201378","DOI":"10.1007\/978-3-030-51280-4_5"},{"key":"1268_CR88","doi-asserted-by":"crossref","unstructured":"Zhang R, Preneel B (2019) Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols\u2019 Security. In: IEEE Symposium on Security and Privacy (S&P), IEEE, pp 175\u2013192","DOI":"10.1109\/SP.2019.00086"},{"key":"1268_CR89","doi-asserted-by":"crossref","unstructured":"Tran M, Choi I, Moon GJ, Vu AV, Kang MS (2020) A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network. In: IEEE Symposium on Security and Privacy (S&P), IEEE, pp 894\u2013909","DOI":"10.1109\/SP40000.2020.00027"},{"key":"1268_CR90","doi-asserted-by":"crossref","unstructured":"Alangot B, Reijsbergen D, Venugopalan S, Szalachowski P (2020) Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients. In: IEEE International Conference on Blockchain, IEEE, pp 337\u2013342","DOI":"10.1109\/Blockchain50366.2020.00049"},{"key":"1268_CR91","doi-asserted-by":"crossref","unstructured":"Apostolaki M, Marti G, M\u00fcller J, Vanbever L (2019) SABRE: Protecting Bitcoin against Routing Attacks. In: 26th Annual Network and Distributed System Security Symposium (NDSS), The Internet Society","DOI":"10.14722\/ndss.2019.23252"},{"key":"1268_CR92","unstructured":"Luu L, Velner Y, Teutsch J, Saxena P (2017) SmartPool: Practical Decentralized Pooled Mining. In: 26th USENIX Security Symposium, USENIX Association, pp 1409\u20131426"},{"key":"1268_CR93","doi-asserted-by":"crossref","unstructured":"Dey S (2018) Securing Majority-Attack in Blockchain Using Machine Learning and Algorithmic Game Theory: A Proof of Work. In: 10th Computer Science and Electronic Engineering Conference (CEEC), IEEE, pp 7\u201310","DOI":"10.1109\/CEEC.2018.8674185"},{"key":"1268_CR94","doi-asserted-by":"crossref","unstructured":"Wang Y, Tang C, Lin F, Zheng Z, Chen Z (2019b) Pool Strategies Selection in PoW-Based Blockchain Networks: Game-Theoretic Analysis. IEEE Access 7:8427\u20138436","DOI":"10.1109\/ACCESS.2018.2890391"},{"key":"1268_CR95","doi-asserted-by":"crossref","unstructured":"Chicarino VRL, Albuquerque C, Jesus EF, de A Rocha AA (2020) On the detection of selfish mining and stalker attacks in blockchain networks. Annals of Telecommunications 75(3\u20134), 143\u2013152","DOI":"10.1007\/s12243-019-00746-2"},{"key":"1268_CR96","doi-asserted-by":"crossref","unstructured":"Hou C, Zhou M, Ji Y, Daian P, Tram\u00e8r F, Fanti G, Juels A (2021) SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. In: 28th Annual Network and Distributed System Security Symposium (NDSS), The Internet Society","DOI":"10.14722\/ndss.2021.24188"},{"key":"1268_CR97","first-page":"360","volume-title":"International Conference on Computing","author":"M Saad","year":"2019","unstructured":"Saad M, Njilla L, Kamhoua CA, Mohaisen A (2019) Countering Selfish Mining in Blockchains. International Conference on Computing. Networking and Communications (ICNC), IEEE, pp 360\u2013364"},{"key":"1268_CR98","unstructured":"Buchman E, Kwon J, Milosevic Z (2018) The latest gossip on BFT consensus. CoRR abs\/1807.04938"},{"key":"1268_CR99","unstructured":"Kokoris-Kogias E, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B (2016) Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. In: 25th USENIX Security Symposium, USENIX Association, pp 279\u2013296"},{"key":"1268_CR100","unstructured":"Lerner SD (2015) DECOR+HOP: A Scalable Blockchain Protocol. https:\/\/scalingbitcoin.org\/papers\/DECOR-HOP.pdf. Accessed 29 Nov 2020"},{"issue":"7","key":"1268_CR101","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/3212998","volume":"61","author":"I Eyal","year":"2018","unstructured":"Eyal I, Sirer EG (2018) Majority is not enough: bitcoin mining is vulnerable. Commun ACM 61(7):95\u2013102","journal-title":"Commun ACM"},{"key":"1268_CR102","doi-asserted-by":"crossref","unstructured":"Pass R, Shi E (2017) FruitChains: A Fair Blockchain. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), ACM, pp 315\u2013324","DOI":"10.1145\/3087801.3087809"},{"key":"1268_CR103","doi-asserted-by":"crossref","unstructured":"Bissias G, Levine BN (2020) Bobtail: Improved Blockchain Security with Low-Variance Mining. In: 27th Annual Network and Distributed System Security Symposium (NDSS), The Internet Society","DOI":"10.14722\/ndss.2020.23095"},{"key":"1268_CR104","unstructured":"Camacho P, Lerner SD (2016) DECOR+LAMI: A Scalable Blockchain Protocol. https:\/\/scalingbitcoin.org\/papers\/DECOR-LAMI.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR105","doi-asserted-by":"crossref","unstructured":"Zhang R, Preneel B (2017) Publish or Perish: A Backward-Compatible Defense Against Selfish Mining in Bitcoin. In: Handschuh H (ed) Cryptographers\u2019 Track at the RSA Conference (CT-RSA), Springer, Lecture Notes in Computer Science, vol 10159, pp 277\u2013292","DOI":"10.1007\/978-3-319-52153-4_16"},{"key":"1268_CR106","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume":"10204","author":"N Atzei","year":"2017","unstructured":"Atzei N, Bartoletti M, Cimoli T (2017) A Survey of Attacks on Ethereum Smart Contracts (SoK). Principles of Security and Trust, Springer, Lecture Notes in Computer Science 10204:164\u2013186","journal-title":"Principles of Security and Trust, Springer, Lecture Notes in Computer Science"},{"key":"1268_CR107","unstructured":"P\u00e9rez D, Livshits B (2019) Smart Contract Vulnerabilities: Does Anyone Care? CoRR abs\/1902.06710"},{"key":"1268_CR108","unstructured":"Cachin C (2016) Architecture of the Hyperledger Blockchain Fabric. https:\/\/www.zurich.ibm.com\/dccl\/papers\/cachin_dcc-l.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR109","doi-asserted-by":"crossref","unstructured":"Sergey I, Nagaraj V, Johannsen J, Kumar A, Trunov A, Hao KCG (2019) Safer smart contract programming with Scilla. Proceedings of the ACM on Programming Languages 3(OOPSLA):185:1\u2013185:30","DOI":"10.1145\/3360611"},{"key":"1268_CR110","unstructured":"Alois J (2017) Ethereum Parity Hack May Impact ETH 500,000 or $146 Million. https:\/\/www.crowdfundinsider.com\/2017\/11\/124200-ethereum-parity-hack-may-impact-eth-500000-146-million\/. Accessed 29 Nov 2020"},{"key":"1268_CR111","doi-asserted-by":"crossref","unstructured":"Fu Y, Ren M, Ma F, Shi H, Yang X, Jiang Y, Li H, Shi X (2019) EVMFuzzer: detect EVM vulnerabilities via fuzz testing. In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), ACM, pp 1110\u20131114","DOI":"10.1145\/3338906.3341175"},{"key":"1268_CR112","unstructured":"Sotnichek M (2018) Blockchain vulnerabilities: Fomo3D exploit explained. https:\/\/www.apriorit.com\/dev-blog\/556-fomo3d-vulne-rability. Accessed 29 Nov 2020"},{"key":"1268_CR113","unstructured":"Ethereum (2018) Ethereum Virtual Machine (EVM) Implementations. https:\/\/eth.wiki\/concepts\/evm\/implementations. Accessed 29 Nov 2020"},{"key":"1268_CR114","doi-asserted-by":"crossref","unstructured":"Alharby M, van Moorsel A (2017) Blockchain-based Smart Contracts: A Systematic Mapping Study. CoRR abs\/1710.06372","DOI":"10.5121\/csit.2017.71011"},{"key":"1268_CR115","doi-asserted-by":"crossref","unstructured":"Zhang F, Cecchetti E, Croman K, Juels A, Shi E (2016) Town Crier: An Authenticated Data Feed for Smart Contracts. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 270\u2013282","DOI":"10.1145\/2976749.2978326"},{"key":"1268_CR116","doi-asserted-by":"crossref","unstructured":"Schrans F, Eisenbach S, Drossopoulou S (2018) Writing safe smart contracts in Flint. In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, ACM, pp 218\u2013219","DOI":"10.1145\/3191697.3213790"},{"key":"1268_CR117","unstructured":"Blackshear S, Dill DL, Qadeer S, Barrett CW, Mitchell JC, Padon O, Zohar Y (2020) Resources: A Safe Language Abstraction for Money. CoRR abs\/2004.05106"},{"key":"1268_CR118","unstructured":"Wood G (2014) Ethereum: a secure decentralised generalised transaction ledger. http:\/\/gavwood.com\/paper.pdf. Accessed 29 Nov 2020"},{"key":"1268_CR119","unstructured":"Sergey I, Kumar A, Hobor A (2018a) Scilla: a Smart Contract Intermediate-Level LAnguage. CoRR abs\/1801.00687"},{"key":"1268_CR120","doi-asserted-by":"crossref","unstructured":"Bernardo B, Cauderlier R, Pesin B, Tesson J (2020) Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 12063, pp 584\u2013598","DOI":"10.1007\/978-3-030-54455-3_41"},{"key":"1268_CR121","doi-asserted-by":"crossref","unstructured":"Albert E, Gordillo P, Livshits B, Rubio A, Sergey I (2018) EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. In: Automated Technology for Verification and Analysis (ATVA), Springer, Lecture Notes in Computer Science, vol 11138, pp 513\u2013520","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"1268_CR122","doi-asserted-by":"crossref","unstructured":"Kasampalis T, Guth D, Moore BM, Serbanuta T, Zhang Y, Filaretti D, Serbanuta VN, Johnson R, Rosu G (2019) IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. In: International Symposium on Formal Methods (FM), Springer, Lecture Notes in Computer Science, vol 11800, pp 593\u2013610","DOI":"10.1007\/978-3-030-30942-8_35"},{"key":"1268_CR123","doi-asserted-by":"crossref","unstructured":"Li X, Shi Z, Zhang Q, Wang G, Guan Y, Han N (2019b) Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. In: 21st International Conference on Formal Engineering Methods (ICFEM), Springer, Lecture Notes in Computer Science, vol 11852, pp 121\u2013137","DOI":"10.1007\/978-3-030-32409-4_8"},{"issue":"2","key":"1268_CR124","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar C, Sen K (2013) Symbolic execution for software testing: three decades later. Commun ACM 56(2):82\u201390","journal-title":"Commun ACM"},{"key":"1268_CR125","unstructured":"Feng Y, Torlak E, Bod\u00edk R (2019) Precise Attack Synthesis for Smart Contracts. CoRR abs\/1902.06067"},{"key":"1268_CR126","doi-asserted-by":"crossref","unstructured":"Permenev A, Dimitrov D, Tsankov P, Drachsler-Cohen D, Vechev MT (2020) VerX: Safety Verification of Smart Contracts. In: IEEE Symposium on Security and Privacy (S&P), IEEE, pp 1661\u20131677","DOI":"10.1109\/SP40000.2020.00024"},{"key":"1268_CR127","doi-asserted-by":"crossref","unstructured":"Chang J, Gao B, Xiao H, Sun J, Cai Y, Yang Z (2019) sCompile: Critical Path Identification and Analysis for Smart Contracts. In: 21st International Conference on Formal Engineering Methods (ICFEM), Springer, Lecture Notes in Computer Science, vol 11852, pp 286\u2013304","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"1268_CR128","doi-asserted-by":"crossref","unstructured":"Mossberg M, Manzano F, Hennenfent E, Groce A, Grieco G, Feist J, Brunson T, Dinaburg A (2019) Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. In: 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), IEEE, pp 1186\u20131189","DOI":"10.1109\/ASE.2019.00133"},{"key":"1268_CR129","first-page":"980","volume-title":"IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber","author":"Z Nehai","year":"2018","unstructured":"Nehai Z, Piriou P, Daumas FF (2018) Model-Checking of Smart Contracts. IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber. Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), IEEE, pp 980\u2013987"},{"key":"1268_CR130","doi-asserted-by":"crossref","unstructured":"Nelaturu K, Mavridou A, Veneris A, Laszka A (2020) Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. In: International Conference on Blockchain and Cryptocurrency (ICBC), IEEE, pp 1\u20139","DOI":"10.1109\/ICBC48266.2020.9169428"},{"key":"1268_CR131","doi-asserted-by":"crossref","unstructured":"Osterland T, Rose T (2020) Model checking smart contracts for Ethereum. Pervasive Mob Comput 63","DOI":"10.1016\/j.pmcj.2020.101129"},{"key":"1268_CR132","doi-asserted-by":"crossref","unstructured":"Kongmanee J, Kijsanayothin P, Hewett R (2019) Securing Smart Contracts in Blockchain. In: 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE) Workshops, IEEE, pp 69\u201376","DOI":"10.1109\/ASEW.2019.00032"},{"key":"1268_CR133","doi-asserted-by":"crossref","unstructured":"Amani S, B\u00e9gel M, Bortin M, Staples M (2018) Towards verifying ethereum smart contract bytecode in Isabelle\/HOL. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, ACM, pp 66\u201377","DOI":"10.1145\/3167084"},{"key":"1268_CR134","doi-asserted-by":"crossref","unstructured":"Bernardo B, Cauderlier R, Hu Z, Pesin B, Tesson J (2019) Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. In: International Symposium on Formal Methods (FM), Springer, Lecture Notes in Computer Science, vol 12232, pp 368\u2013379","DOI":"10.1007\/978-3-030-54994-7_28"},{"key":"1268_CR135","doi-asserted-by":"crossref","unstructured":"Nielsen JB, Spitters B (2019) Smart Contract Interactions in Coq. In: International Symposium on Formal Methods (FM), Springer, Lecture Notes in Computer Science, vol 12232, pp 380\u2013391","DOI":"10.1007\/978-3-030-54994-7_29"},{"key":"1268_CR136","doi-asserted-by":"crossref","unstructured":"Sergey I, Kumar A, Hobor A (2018b) Temporal Properties of Smart Contracts. In: Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, vol 11247, pp 323\u2013338","DOI":"10.1007\/978-3-030-03427-6_25"},{"key":"1268_CR137","unstructured":"da\u00a0Horta LPA, Reis JS, Pereira M, de\u00a0Sousa SM (2020) WhylSon: Proving your Michelson Smart Contracts in Why3. CoRR abs\/2005.14650"},{"key":"1268_CR138","unstructured":"Lahiri SK, Chen S, Wang Y, Dillig I (2018) Formal Specification and Verification of Smart Contracts for Azure Blockchain. CoRR abs\/1812.08829"},{"key":"1268_CR139","doi-asserted-by":"crossref","unstructured":"Ahrendt W, Bubel R, Ellul J, Pace GJ, Pardo R, Rebiscoul V, Schneider G (2019) Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. In: Fundamentals of Software Engineering (FSEN), Springer, Lecture Notes in Computer Science, vol 11761, pp 228\u2013243","DOI":"10.1007\/978-3-030-31517-7_16"},{"key":"1268_CR140","doi-asserted-by":"crossref","unstructured":"Park D, Zhang Y, Saxena M, Daian P, Rosu G (2018) A formal verification tool for Ethereum VM bytecode. In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), ACM, pp 912\u2013915","DOI":"10.1145\/3236024.3264591"},{"key":"1268_CR141","doi-asserted-by":"crossref","unstructured":"Brent L, Grech N, Lagouvardos S, Scholz B, Smaragdakis Y (2020) Ethainter: a smart contract security analyzer for composite vulnerabilities. In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), ACM, pp 454\u2013469","DOI":"10.1145\/3385412.3385990"},{"key":"1268_CR142","doi-asserted-by":"crossref","unstructured":"Feist J, Grieco G, Groce A (2019) Slither: a static analysis framework for smart contracts. In: Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), IEEE, pp 8\u201315","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"1268_CR143","doi-asserted-by":"crossref","unstructured":"Ellul J, Pace GJ (2018) Runtime Verification of Ethereum Smart Contracts. In: 14th European Dependable Computing Conference (EDCC), IEEE Computer Society, pp 158\u2013163","DOI":"10.1109\/EDCC.2018.00036"},{"key":"1268_CR144","doi-asserted-by":"crossref","unstructured":"Chen T, Cao R, Li T, Luo X, Gu G, Zhang Y, Liao Z, Zhu H, Chen G, He Z, Tang Y, Lin X, Zhang X (2020c) SODA: A Generic Online Detection Framework for Smart Contracts. In: 27th Annual Network and Distributed System Security Symposium (NDSS), The Internet Society","DOI":"10.14722\/ndss.2020.24449"},{"key":"1268_CR145","doi-asserted-by":"crossref","unstructured":"Torres CF, Baden M, Norvill R, Jonker H (2019) \u00c6GIS: Smart Shielding of Smart Contracts. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 2589\u20132591","DOI":"10.1145\/3319535.3363263"},{"key":"1268_CR146","doi-asserted-by":"crossref","unstructured":"Jiang B, Liu Y, Chan WK (2018) ContractFuzzer: fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE), ACM, pp 259\u2013269","DOI":"10.1145\/3238147.3238177"},{"key":"1268_CR147","doi-asserted-by":"crossref","unstructured":"Liu C, Liu H, Cao Z, Chen Z, Chen B, Roscoe B (2018) ReGuard: finding reentrancy bugs in smart contracts. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE), ACM, pp 65\u201368","DOI":"10.1145\/3183440.3183495"},{"key":"1268_CR148","doi-asserted-by":"crossref","unstructured":"Nguyen TD, Pham LH, Sun J, Lin Y, Minh QT (2020) sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering (ICSE), ACM, p 778-788","DOI":"10.1145\/3377811.3380334"},{"key":"1268_CR149","doi-asserted-by":"crossref","unstructured":"Viglianisi E, Ceccato M, Tonella P (2020) A federated society of bots for smart contract testing. J Syst Softw 168","DOI":"10.1016\/j.jss.2020.110647"},{"key":"1268_CR150","first-page":"116","volume-title":"27th IEEE Int Conf Soft Anal","author":"Q Zhang","year":"2020","unstructured":"Zhang Q, Wang Y, Li J, Ma S (2020) EthPloit: From Fuzzing to Efficient Exploit Generation against Smart Contracts. 27th IEEE Int Conf Soft Anal. Evolution and Reengineering (SANER), IEEE, pp 116\u2013126"},{"key":"1268_CR151","unstructured":"Chen J, Xia X, Lo D, Grundy JC (2020b) Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum. CoRR abs\/2005.07908"},{"key":"1268_CR152","doi-asserted-by":"crossref","unstructured":"Gao Z, Jayasundara V, Jiang L, Xia X, Lo D, Grundy JC (2019) SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding. In: International Conference on Software Maintenance and Evolution (ICSME), IEEE, pp 394\u2013397","DOI":"10.1109\/ICSME.2019.00067"},{"issue":"2","key":"1268_CR153","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1109\/TNSE.2020.2968505","volume":"8","author":"W Wang","year":"2021","unstructured":"Wang W, Song J, Xu G, Li Y, Wang H, Su C (2021) ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts. IEEE Trans Netw Sci Eng 8(2):1133\u20131144","journal-title":"IEEE Trans Netw Sci Eng"},{"key":"1268_CR154","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/978-3-319-89884-1_26","volume":"10801","author":"K Chatterjee","year":"2018","unstructured":"Chatterjee K, Goharshady AK, Velner Y (2018) Quantitative Analysis of Smart Contracts. Programming Languages and Systems, Springer, Lecture Notes in Computer Science 10801:739\u2013767","journal-title":"Programming Languages and Systems, Springer, Lecture Notes in Computer Science"},{"key":"1268_CR155","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-030-30985-5_23","volume":"11865","author":"C Laneve","year":"2019","unstructured":"Laneve C, Coen CS, Veschetti A (2019) On the Prediction of Smart Contracts\u2019 Behaviours. From Software Engineering to Formal Methods and Tools, and Back, Springer, Lecture Notes in Computer Science 11865:397\u2013415","journal-title":"From Software Engineering to Formal Methods and Tools, and Back, Springer, Lecture Notes in Computer Science"},{"key":"1268_CR156","first-page":"1145","volume-title":"IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber","author":"J Adler","year":"2018","unstructured":"Adler J, Berryhill R, Veneris AG, Poulos Z, Veira N, Kastania A (2018) Astraea: A Decentralized Blockchain Oracle. IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber. Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), IEEE, pp 1145\u20131152"},{"key":"1268_CR157","doi-asserted-by":"crossref","unstructured":"Biryukov A, Khovratovich D, Tikhomirov S (2017) Findel: Secure Derivative Contracts for Ethereum. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 10323, pp 453\u2013467","DOI":"10.1007\/978-3-319-70278-0_28"},{"key":"1268_CR158","doi-asserted-by":"crossref","unstructured":"Seijas PL, Nemish A, Smith D, Thompson SJ (2020) Marlowe: Implementing and Analysing Financial Contracts on Blockchain. In: Financial Cryptography and Data Security (FC), Springer, Lecture Notes in Computer Science, vol 12063, pp 496\u2013511","DOI":"10.1007\/978-3-030-54455-3_35"},{"key":"1268_CR159","doi-asserted-by":"crossref","unstructured":"Yu XL, Al-Bataineh OI, Lo D, Roychoudhury A (2020) Smart Contract Repair. ACM Transactions on Software Engineering and Methodology 29(4):27:1\u201327:32","DOI":"10.1145\/3402450"},{"key":"1268_CR160","doi-asserted-by":"crossref","unstructured":"He J, Balunovic M, Ambroladze N, Tsankov P, Vechev MT (2019) Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS), ACM, pp 531\u2013548","DOI":"10.1145\/3319535.3363230"},{"key":"1268_CR161","doi-asserted-by":"crossref","unstructured":"Liu Y, Li Y, Lin S, Zhao R (2020) Towards automated verification of smart contract fairness. In: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), ACM, pp 666\u2013677","DOI":"10.1145\/3368089.3409740"}],"container-title":["Peer-to-Peer Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-021-01268-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12083-021-01268-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12083-021-01268-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,16]],"date-time":"2022-03-16T08:15:23Z","timestamp":1647418523000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12083-021-01268-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,12]]},"references-count":161,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["1268"],"URL":"https:\/\/doi.org\/10.1007\/s12083-021-01268-2","relation":{},"ISSN":["1936-6442","1936-6450"],"issn-type":[{"value":"1936-6442","type":"print"},{"value":"1936-6450","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,12]]},"assertion":[{"value":"3 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 November 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Xuelian Cao, Jianhui Zhang, Xuechen Wu, and Bo Liu declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}