review-article

Ethereum smart contract security research: survey and future research opportunities

Authors:

Kim-Kwang Raymond Choo,

Deqing ZouAuthors Info & Claims

Frontiers of Computer Science, Volume 15, Issue 2

https://doi.org/10.1007/s11704-020-9284-9

Published: 02 October 2020 Publication History

Abstract

Blockchain has recently emerged as a research trend, with potential applications in a broad range of industries and context. One particular successful Blockchain technology is smart contract, which is widely used in commercial settings (e.g., high value financial transactions). This, however, has security implications due to the potential to financially benefit from a security incident (e.g., identification and exploitation of a vulnerability in the smart contract or its implementation). Among, Ethereum is the most active and arresting. Hence, in this paper, we systematically review existing research efforts on Ethereum smart contract security, published between 2015 and 2019. Specifically, we focus on how smart contracts can be maliciously exploited and targeted, such as security issues of contract program model, vulnerabilities in the program and safety consideration introduced by program execution environment. We also identify potential research opportunities and future research agenda.

References

[1]

Chaum D. Blind signatures for untraceable payments. In: Proceedings of the 2nd Annual International Cryptology Conference. 1982, 199–203

[2]

Chaum D, Fiat A, Naor M. Untraceable electronic cash. In: Proceedings of the 8th Annual International Cryptology Conference. 1988, 319–327

[3]

Schoenmakers B Security aspects of the ecash^tm payment system State of the Art in Applied Cryptography 1998 Berlin, Heidelberg Springer 338-352

[4]

Rivest R L. Peppercoin micropayments. In: Proceedings of the 8th International Conference on Financial Cryptography. 2004, 2–8

[5]

Satoshi N. Bitcoin: a peer-to-peer electronic cash system. 2008

[6]

Tschorsch F and Scheuermann B Bitcoin and beyond: a technical survey on decentralized digital currencies IEEE Communications Surveys Tutorials 2016 18 3 2084-2123

[7]

Conti M, Kumar E S, Lal C, and Ruj S A survey on security and privacy issues of bitcoin IEEE Communications Surveys Tutorials 2018 20 4 3416-3452

[8]

Khalilov M C K and Levi A A survey on anonymity and privacy in bitcoin-like digital cash systems IEEE Communications Surveys Tutorials 2018 20 3 2543-2585

[9]

Ferrag M A, Derdour M, Mukherjee M, Derhab A, Maglaras L, and Janicke H Blockchain technologies for the internet of things: research issues and challenges IEEE Internet of Things Journal 2018 6 2 2188-2204

[10]

Sankar L S, Sindhu M, Sethumadhavan M. Survey of consensus protocols on blockchain applications. In: Proceedings of the 4th IEEE International Conference on Advanced Computing and Communication Systems. 2017, 1–5

[11]

Nguyen G T and Kim K A survey about consensus algorithms used in blockchain Journal of Information Processing Systems 2018 14 1 101-128

[12]

Zhu L, Wu Y, Gai K, and Choo K R Controllable and trustworthy blockchain-based cloud data management Future Generation Computer system 2019 91 527-535

[13]

Esposito C, Santis A D, Tortora G, Chang H, and Choo K R Blockchain: a panacea for healthcare cloud-based data security and privacy IEEE Cloud Computing 2018 5 1 31-37

[14]

Gai K, Choo K R, and Zhu L Blockchain-enabled reengineering of cloud Datacenters IEEE Cloud Computing 2018 5 6 21-25

[15]

Lin C, He D, Huang X, Choo K R, and Vasilakos A V Bsein: a blockchain-based secure mutual authentication with fine-grained access control system for industry 4.0 Journel of Network and Computer Applications 2018 116 42-52

[16]

Conoscenti M, Vetro A, De Martin J C. Blockchain for the internet of things: a systematic literature review. In: Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications. 2016, 1–6

[17]

Hassan M U, Rehmani M H, and Chen J Privacy preservation in blockchain based iot systems: integration issues, prospects, challenges, and future research directions Future Generation Computer Systems 2019 97 512-529

[18]

Taylor P J, Dargahi T, Dehghantanha A, Parizi R M, and Choo K R A systematic literature review of blockchain cyber security Digital Communications and Networks 2020 6 2 147-156

[19]

Xie J, Tang H, Huang T, Yu F R, Xie R, Liu J, and Liu Y A survey of blockchain technology applied to smart cities: research issues and challenges IEEE Communications Surveys & Tutorials 2019 21 3 2794-2830

[20]

Yang R, Yu F R, Si P, Yang Z, and Zhang Y Integrated blockchain and edge computing systems: a survey, some research issues and challenges IEEE Communications Surveys & Tutorials 2019 21 2 1508-1532

[21]

Buterin V A next-generation smart contract and decentralized application platform White Paper 2014 3 37 1-36

[22]

Ronen E, Shamir A, Weingarten A, O’Flynn C. IoT goes nuclear: creating a zigbee chain reaction. In: Proceedings of the 38th IEEE Symposium on Security and Privacy. 2017, 195–212

[23]

Vasisht D, Kapetanovic Z, Won J, Jin X, Chandra R, Sinha S N, Kapoor A, Sudarshan M, Stratman S. Farmbeats: an IoT platform for data-driven agriculture. In: Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation. 2017, 515–529

[24]

Azaria A, Ekblaw A, Vieira T, Lippman A. Medrec: using blockchain for medical data access and permission management. In: Proceedings of the 2nd International Conference on Open and Big Data. 2016, 25–30

[25]

Yue X, Wang H, Jin D, Li M, and Jiang W Healthcare data gateways: found healthcare intelligence on blockchain with novel privacy risk control Journal of Medical Systems 2016 40 10 218

[26]

Chen L, Lee W K, Chang C, Choo K R, and Zhang N Blockchain based searchable encryption for electronic health record sharing Future Generation Computer Systems 2019 95 420-429

[27]

McGhin T, Choo K R, Liu C Z, and He D Blockchain in healthcare applications: research challenges and opportunities Journal of Network and Computer Applications 2019 135 1 62-75

[28]

Huckle S, Bhattacharya R, White M, Beloff N. Internet of things, blockchain and shared economy applications. In: Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops. 2016, 461–466

[29]

Yao Q A systematic framework to understand central bank digital currency Science China Information Sciences 2018 61 3 033101

[30]

Liang J, Han W, Guo Z, Chen Y, Cao C, Wang X S, and Li F DESC: enabling secure data exchange based on smart contracts Science China Information Sciences 2018 61 4 049102

[31]

Matsumoto S, Reischuk R M. IKP: turning a PKI around with decentralized automated incentives. In: Proceedings of the 38th IEEE Symposium on Security and Privacy. 2017, 410–426

[32]

Chen J, Yao S, Yuan Q, He K, Ji S, Du R. Certchain: public and efficient certificate audit based on blockchain for TLS connections. In: Proceedings of the 2018 IEEE International Conference on Computer Communications. 2018, 2060–2068

[33]

Chase M, Meiklejohn S. Transparency overlays and applications. In: Proceedings of the 23th ACM SIGSAC Conference on Computer and Communications Security. 2016, 168–179

[34]

Szabo N Formalizing and securing relationships on public networks First Monday 1997 2 9 1-21

[35]

Paul A, Ahmad A, Khan M, Jeon G. Smart contract’s interface for user centric business model in blockchain. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. 2019, 709–714

[36]

Siano P, Marco G D, Rolán A, and Loia V A survey and evaluation of the potentials of distributed ledger technology for peer-to-peer transactive energy exchanges in local energy markets IEEE Systems Journal 2019 13 3 3454-3466

[37]

Castillo M. The dao attacked: code issue leads to 60 million ether theft. see Coindesk Website, 2020

[38]

Reddit. Smartbillions lottery contract just got hacked. see Reddit Website, 2020

[39]

Petrov S. Another parity wallet hack explained. see Medium Website, 2020

[40]

Slow Mist. Eth dapp hack events. see Slow Mist Hacked Website, 2020

[41]

Bartoletti M, Pompianu L. An empirical analysis of smart contracts: platforms, applications, and design patterns. In: Proceedings of the 21st International Conference on Financial Cryptography and Data Security. 2017, 494–509

[42]

Castro M, Liskov B. Practical byzantine fault tolerance. In: Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation. 1999, 173–186

[43]

Sukhwani H, Martínez J M, Chang X, Trivedi K S, Rindos A. Performance modeling of PBFT consensus process for permissioned blockchain network (hyperledger fabric). In: Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems. 2017, 253–255

[44]

David B, Gazi P, Kiayias A, Russell A. Ouroboros praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain. In: Proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques. 2018, 66–98

[45]

Badertscher C, Gazi P, Kiayias A, Russell A, Zikas V. Ouroboros genesis: composable proof-of-stake blockchains with dynamic availability. In: Proceedings of the 27th ACM SIGSAC Conference on Computer and Communications Security. 2018, 913–930

[46]

Petersen K, Feldt R, Mujtaba S, Mattsson M. Systematic mapping studies in software engineering. In: Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering. 2008

[47]

Pahl C, Brogi A, Soldani J, and Jamshidi P Cloud container technologies: a state-of-the-art review IEEE Transactions on Cloud Computing 2019 7 3 677-692

[48]

Bonneau J, Miller A, Clark J, Narayanan A, Kroll J A, Felten E W. Sok: research perspectives and challenges for bitcoin and cryptocurrencies. In: Proceedings of the 36th IEEE Symposium on Security and Privacy. 2015, 104–121

[49]

Alharby M, van Moorsel A. Blockchain-based smart contracts: a systematic mapping study. 2017, arXiv preprint arXiv:1710.06372

[50]

Atzei N, Bartoletti M, Cimoli T. A survey of attacks on ethereum smart contracts (sok). In: Proceedings of the 6th International Conference on Principles of Security and Trust. 2017, 164–186

[51]

Wang S, Ouyang L, Yuan Y, Ni X, Han X, and Wang F Y Blockchain-enabled smart contracts: architecture, applications, and future trends IEEE Transactions on Systems, Man, and Cybernetics: Systems 2019 49 11 2266-2277

[52]

Juels A, Kosba A E, Shi E. The ring of gyges: investigating the future of criminal smart contracts. In: Proceedings of the 23rd ACM SIGSAC Conference on Computer and Communications Security. 2016, 283–295

[53]

Kwon Y, Kim D, Son Y, Vasserman E Y, Kim Y. Be selfish and avoid dilemmas: fork after withholding (FAW) attacks on bitcoin. In: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security. 2017, 195–209

[54]

Eyal I. The miner’s dilemma. In: Proceedings of the 36th IEEE Symposium on Security and Privacy. 2015, 89–103

[55]

Velner Y, Teutsch J, Luu L, Smart contracts make bitcoin mining pools vulnerable. In: Proceedings of the 21st International Conference on Financial Cryptography and Data Security. 2017, 298–316

[56]

McCorry P, Hicks A, and Meiklejohn S Smart contracts for bribing Miners IACR Cryptology ePrint Archive 2018 2018 581

[57]

Wang Y, Bracciali A, Li T, Li F, Cui X, and Zhao M Randomness invalidates criminal smart contracts Information Science 2019 477 291-301

[58]

Torres C F, Steichen M. The art of the scam: demystifying honeypots in ethereum smart contracts. In: Proceedings of the 28th USENIX Security Symposium. 2019

[59]

Zhou Y, Kumar D, Bakshi S, Mason J, Miller A, Bailey M. Erays: reverse engineering ethereum’s opaque smart contracts. In: Proceedings of the 27th USENIX Security Symposium. 2018, 1371–1385

[60]

Schwarz B, Debray S K, Andrews G R. Disassembly of executable code revisited. In: Proceedings of the 9th Working Conference on Reverse Engineering. 2012, 45–54

[61]

Grech N, Brent L, Scholz B, Smaragdakis Y. Gigahorse: thorough, declarative decompilation of smart contracts. In: Proceedings of the 41st International Conference on Software Engineering. 2019, 1176–1186

[62]

Parizi R M, Dehghantanha A, Choo R. A singh, empirical vulnerability analysis of automated smart contracts security testing on blockchains. In: Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering. 2018, 103–113

[63]

Chen T, Li X, Luo X, Zhang X. Under-optimized smart contracts devour your money. In: Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution and Reengineering. 2017, 442–446

[64]

Luu L, Chu D, Olickel H, Saxena P, Hobor A. Making smart contracts smarter. In: Proceedings of the 23rd ACM SIGSAC Conference on Computer and Communications Security. 2016, 254–269

[65]

Chen T, Li X, Wang Y, Chen J, Li Z, Luo X, Au M H, Zhang X. An adaptive gas cost mechanism for ethereum to defend against under-priced dos attacks. In: Proceedings of the 13th International Conference on Information Security Practice and Experience. 2017, 3–24

[66]

Luu L, Teutsch J, Kulkarni R, Saxena P. Demystifying incentives in the consensus computer. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. 2015, 706–719

[67]

Li Y. Finding concurrency exploits on smart contracts. In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. 2019, 144–146

[68]

Coblenz M J. Obsidian: a safer blockchain programming language. In: Proceedings of the 39th International Conference on Software Engineering. 2017, 97–99

[69]

Schrans F, Eisenbach S, Drossopoulou S. Writing safe smart contracts in flint. In: Proceedings of the 2nd International Conference on Art, Science, and Engineering of Programming. 2018, 218–219

[70]

Schrans F, Hails D, Harkness A, Drossopoulou S, Eisenbach S. Flint for safer smart contracts. 2019, arXiv preprint arXiv:1904.06534

[71]

Torres C F, SchĀijtte J, State R. Osiris: hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference. 2018

[72]

Nikolic I, Kolluri A, Sergey I, Saxena P, Hobor A. Finding the greedy, prodigal, and suicidal contracts at scale. In: Proceedings of the 34th Annual Conference on Computer Security Applications. 2018

[73]

Jiang B, Liu Y, Chan W K. Contractfuzzer: fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. 2018, 259–269

[74]

Rodler M, Li W, Karame G O, Davi L. Sereum: protecting existing smart contracts against re-entrancy attacks. In: Proceedings of the 26th Annual Network and Distributed System Security Symposium. 2019

[75]

Ma F, Fu Y, Ren M, Wang M, Jiang Y, Zhang K, Li H, Shi X. EVM*: from offline detection to online reinforcement for ethereum virtual machine. In: Proceedings of the 26th IEEE International Conference on Software Analysis, Evolution and Reengineering. 2019, 554–558

[76]

Liu H, Yang Z, Jiang Y, Zhao W, Sun J. Enabling clone detection for ethereum via smart contract birthmarks. In: Proceedings of the 27th International Conference on Program Comprehension. 2019, 105–115

[77]

Liu H, Liu C, Zhao W, Jiang Y, Sun J. S-gram: towards semantic-aware security auditing for ethereum smart contracts. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. 2018, 814–819

[78]

Liu H, Yang Z, Liu C, Jiang Y, Zhao W, Sun J, Eclone: detect semantic clones in ethereum via symbolic transaction sketch. In: Proceedings of the 26th 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018, 900–903

[79]

Angelo M D, Salzer G. A survey of tools for analyzing ethereum smart Contracts. In: Proceedings of IEEE International Conference on Decentralized Applications and Infrastructures. 2019

[80]

Krupp J, Rossow C. teEther: gnawing at ethereum to automatically exploit smart contracts. In: Proceedings of the 27th USENIX Security Symposium. 2018, 1317–1333

[81]

Mossberg M, Manzano F, Hennenfent E, Groce A, Grieco G, Feist J, Brunson T, Dinaburg A. Manticore: a user-friendly symbolic execution framework for binaries and smart contracts. In: Proceedings of the 34th ACM/IEEE International Conference on Automated Software Engineering. 2019

[82]

Kalra S, Goel S, DhawanM, Sharma S. ZEUS: analyzing safety ofsmart contracts. In: Proceedings of the 25th Annual Network and Distributed System Security Symposium. 2018

[83]

Bhargavan K, Delignat-Lavaud A, Fournet C, Gollamudi A, Gonthier G, Kobeissi N, Kulatova N, Rastogi A, Sibut-Pinote T, Swamy N, Béguelin SZ. Formal verification of smart contracts: Short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security. 2016, 91–96

[84]

Idelberger F, Governatori G, Riveret R, Sartor G. Evaluation of logic-based smart contracts for blockchain systems. In: Proceedings of the 10th International Symposium on Rule Technologies, Research, Tools, and Applications. 2016, 167–183

[85]

Hildenbrandt E, Saxena M, Rodrigues N, Zhu X, Daian P, Guth D, Moore B M, Park D, Zhang Y, Stefanescu A, Rosu G. KEVM: a complete formal semantics of the ethereum virtual machine. In: Proceedings of the 31st IEEE Computer Security Foundations Symposium. 2018, 204–217

[86]

Park D, Zhang Y, Saxena M, Daian P, Rosu G. 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. 2018, 912–915

[87]

Ahrendt W, Pace G J, Schneider G. Smart contracts: a killer application for deductive source code verification. In: Müller P, Schaefer I. eds. Principled Software Development. Springer, Cham, 2018, 1–18

[88]

Ellul J, Pace G J. Runtime verification of ethereum smart contracts. In: Proceedings of the 14th European Dependable Computing Conference. 2018, 158–163.

[89]

Tsankov P, Dan A M, Drachsler-Cohen D, Gervais A, Bünzli F, Vechev M T. Securify: practical security analysis of smart contracts. In: Proceedings of the 25th ACM SIGSAC Conference on Computer and Communications Security. 2018, 67–82

[90]

Bai X, Cheng Z, Duan Z, Hu K. Formal modeling and verification of smart contracts. In: Proceedings of the 7th International Conference on Software and Computer Applications. 2018, 322–326

[91]

Liu C, Liu H, Cao Z, Chen Z, Chen B, Roscoe B. Reguard: finding reentrancy bugs in smart contracts. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. 2018, 65–68

[92]

Wüstholz V, Christakis M. Harvey: a greybox fuzzer for smart contracts. 2019, arXiv preprint arXiv:1905.06944

[93]

Tann W J, Han X J, Gupta S S, Ong Y. Towards safer smart contracts: a sequence learning approach to detecting vulnerabilities. 2018, arXiv preprint arXiv:1811.06632

[94]

Finifter M, Akhawe D, Wagner D A. An empirical study of vulnerability rewards programs. In: Proceedings of the 22nd USENIX Security Symposium. 2013, 273–288

[95]

Breidenbach L, Daian P, Tramèr F, Juels A. Enter the hydra: towards principled bug bounties and exploit-resistant smart contracts. In: Proceedings of the 27th USENIX Security Symposium. 2018, 1335–1352

[96]

Banasik W, Dziembowski S, Malinowski D. Efficient zero-knowledge contingent payments in cryptocurrencies without scripts. In: Proceedings of the 21st European Symposium on Research in Computer Security. 2016, 261–280

[97]

Tramèr F, Zhang F, Lin H, Hubaux J, Juels A, Shi E. Sealed-glass proofs: using transparent enclaves to prove and sell knowledge. In: Proceedings of the 2nd IEEE European Symposium on Security and Privacy. 2017, 19–34

[98]

Kalodner H A, Goldfeder S, Chen X, Weinberg S M, Felten E W. Arbitrum: scalable, private smart contracts. In: Proceedings of the 27th USENIX Security Symposium. 2018, 1353–1370

[99]

Ateniese G, Magri B, Venturi D, Andrade E R. Redactable blockchain — or - rewriting history in bitcoin and friends. In: Proceedings of 2017 IEEE European Symposium on Security and Privacy. 2017, 111–126

[100]

Derler D, Samelin K, Slamanig D, Striecks C. Fine-grained and controlled rewriting in blockchains: chameleon-hashing gone attribute-based. In: Proceedings of the 26th Annual Network and Distributed System Security Symposium. 2019

[101]

Hildenbrandt E, Saxena M, Rodrigues N, Zhu X, Daian P, Guth D, Moore B M, Park D, Zhang Y, Stefanescu A, Rosu G. KEVM: a complete formal semantics of the ethereum virtual machine. In: Proceedings of the 31st IEEE Computer Security Foundations Symposium. 2018, 204–217

[102]

Rosu G and Serbanuta T An overview of the K semantic framework Journal of Logic and Algebraic Programming 2010 79 6 397-434

[103]

Chatterjee K, Goharshady A K, Pourdamghani A. Probabilistic smart contracts: secure randomness on the blockchain. In: Proceedings of IEEE International Conference on Blockchain and Cryptocurrency. 2019

[104]

Pierrot C and Wesolowski B Malleability of the blockchain’s entropy Cryptography and Communications 2018 10 1 211-233

[105]

Cachin C, Kursawe K, and Shoup V Random oracles in constantinople: practical asynchronous byzantine agreement using cryptography Journal of Cryptology 2005 18 3 219-246

[106]

Bonneau J, Narayanan A, Miller A, Clark J, Kroll J A, Felten E W. Mixcoin: anonymity for bitcoin with accountable mixes. In: Proceedings of the 18th International Conference on Financial Cryptography and Data Security. 2014, 486–504

[107]

Garman C, Green M, Miers I, Rubin A D. Rational zero: economic security for zerocoin with everlasting anonymity. In: Proceedings of the 18th International Conference on Financial Cryptography and Data Security. 2014, 140–155

[108]

Bünz B, Goldfeder S, Bonneau J. Proofs-of-delay and randomness beacons in ethereum. IEEE Security and Privacy on the Blockchain (IEEE S&B), 2017

[109]

Lenstra A K, Wesolowski B. A random zoo: sloth, unicorn, and trx IACR Cryptology ePrint Archive, 2015, 2015: 366

[110]

Gilad Y, Hemo R, Micali S, Vlachos G, Zeldovich N. Algorand: scaling byzantine agreements for cryptocurrencies. In: Proceedings of the 26th Symposium on Operating Systems Principles. 2017, 51–68

[111]

Micali S, Rabin M O, Vadhan S P. Verifiable random functions. In: Proceedings of the 40th Annual Symposium on Foundations of Computer Science. 1999, 120–130

[112]

Hanke T, Movahedi M, Williams D. DFINITY technology overview series, consensus system. 2018, arXiv preprint arXiv:1805.04548

[113]

Badertscher C, Gazi P, Kiayias A, Russell A, Zikas V. Ouroboros genesis: composable proof-of-stake blockchains with dynamic availability. In: Proceedings of the 25th ACM SIGSAC Conference on Computer and Communications Security. 2018, 913–930

[114]

Pass R, Shi E. Thunderella: Blockchains with optimistic instant confirmation. In: Proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques. 2018, 3–33

[115]

Zhang F, Cecchetti E, Croman K, Juels A, Shi E. Town crier: an authenticated data feed for smart contracts. In: Proceedings of the 23rd ACM SIGSAC Conference on Computer and Communications Security. 2016, 270–282

[116]

Ellis S, Juels A, Nazarov S. Chainlink—a decentralized oracle Network. 2017

[117]

Sergey I, Hobor A. A concurrent perspective on smart contracts. In: Proceedings of the 21st International Conference on Financial Cryptography and Data Security. 2017, 478–493

[118]

Dickerson T D, Gazzillo P, Herlihy M, Koskinen E. Adding concurrency to smart contracts. In: Proceedings of the 36th ACM Symposium on Principles of Distributed Computing. 2017, 303–312

[119]

Zhang A, Zhang K. Enabling concurrency on smart contracts using multiversion ordering. In: Proceedings of the 2nd International Joint Conference on Web and Big Data. 2018, 425–439

[120]

Li Z, Zou D, Xu S, Ou X, Jin H, Wang S, Deng Z, Zhong Y. Vuldeepecker: a deep learning-based system for vulnerability detection. In: Proceedings of the 25th Annual Network and Distributed System Security Symposium. 2018

[121]

Russell R, Kim L, Hamilton L, Lazovich T, Harer J, Ozdemir O, Elling-wood P, McConley M. Automated vulnerability detection in source code using deep representation learning. In: Proceedings of the 17th IEEE International Conference on Machine Learning and Applications. 2018, 757–762

[122]

Liu B, Huo W, Zhang C, Li W, Li F, Piao A, Zou W. αdiff: cross-version binary code similarity detection with DNN. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. 2018, 667–678

[123]

White M, Tufano M, Vendome C, Poshyvanyk D. Deep learning code fragments for code clone detection. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. 2016, 87–98

Cited By

Liang XLiu YLiu YChi CYin ZXu X(2024)Enhancing Security in Recommendation Systems with Blockchain TechnologyProceedings of the ACM Turing Award Celebration Conference - China 202410.1145/3674399.3674449(132-137)Online publication date: 5-Jul-2024
https://dl.acm.org/doi/10.1145/3674399.3674449
Liu YSong WChristakis MPradel M(2024)FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart ContractsProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3685312(1876-1880)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3685312
Liu YSong WChristakis MPradel M(2024)FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas FeesProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652146(516-527)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3652146
Show More Cited By

Recommendations

A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses

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 ...
Security Evaluation of Smart Contract-Based On-chain Ethereum Wallets
Network and System Security
Abstract
Ethereum is a leading blockchain platform that supports decentralised applications (Dapps) using smart contract programs. It executes cryptocurrency transactions between user accounts or smart contract accounts. Wallets are utilised to integrate ...
Smart contract: a survey towards extortionate vulnerability detection and security enhancement
Abstract
Smart contracts become significant as blockchain technology is blooming around the technological globe. In this juncture, smart contract is an automatic programming framework executed based upon pre-conditions in blockchain even among untrusted ...

Comments

Information & Contributors

Information

Published In

cover image Frontiers of Computer Science: Selected Publications from Chinese Universities

Frontiers of Computer Science: Selected Publications from Chinese Universities Volume 15, Issue 2

Apr 2021

190 pages

ISSN:2095-2228

EISSN:2095-2236

Issue’s Table of Contents

© Higher Education Press 2020.

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 October 2020

Accepted: 25 December 2019

Received: 06 August 2019

Author Tags

Qualifiers

Review-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Liang XLiu YLiu YChi CYin ZXu X(2024)Enhancing Security in Recommendation Systems with Blockchain TechnologyProceedings of the ACM Turing Award Celebration Conference - China 202410.1145/3674399.3674449(132-137)Online publication date: 5-Jul-2024
https://dl.acm.org/doi/10.1145/3674399.3674449
Liu YSong WChristakis MPradel M(2024)FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart ContractsProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3685312(1876-1880)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3685312
Liu YSong WChristakis MPradel M(2024)FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas FeesProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652146(516-527)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3652146
Qi LYang HShi YGeng X(2024)MultiMatch: Multi-task Learning for Semi-supervised Domain GeneralizationACM Transactions on Multimedia Computing, Communications, and Applications10.1145/364868020:6(1-21)Online publication date: 19-Feb-2024
https://dl.acm.org/doi/10.1145/3648680
Miglani AKumar N(2024)BloomACS: Bloom Filter-Based Access Control Scheme in Blockchain-Enabled V2G NetworksIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2024.342156225:9(10636-10651)Online publication date: 11-Jul-2024
https://dl.acm.org/doi/10.1109/TITS.2024.3421562
Vidal FIvaki NLaranjeiro N(2024)Vulnerability detection techniques for smart contractsJournal of Systems and Software10.1016/j.jss.2024.112160217:COnline publication date: 1-Nov-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112160
Porkodi SKesavaraja D(2024)Smart contract: a survey towards extortionate vulnerability detection and security enhancementWireless Networks10.1007/s11276-023-03587-z30:3(1285-1304)Online publication date: 1-Apr-2024
https://dl.acm.org/doi/10.1007/s11276-023-03587-z
Li HZhu PWang JFortino G(2024)BAPS: a blockchain-assisted privacy-preserving and secure sharing scheme for PHRs in IoMTThe Journal of Supercomputing10.1007/s11227-024-06441-x80:18(26197-26225)Online publication date: 1-Dec-2024
https://dl.acm.org/doi/10.1007/s11227-024-06441-x
Tanwar SGupta NKumar PHu Y(2024)Implementation of blockchain-based e-voting systemMultimedia Tools and Applications10.1007/s11042-023-15401-183:1(1449-1480)Online publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1007/s11042-023-15401-1
di Angelo MDurieux TFerreira JSalzer G(2024)Evolution of automated weakness detection in Ethereum bytecode: a comprehensive studyEmpirical Software Engineering10.1007/s10664-023-10414-829:2Online publication date: 2-Feb-2024
https://dl.acm.org/doi/10.1007/s10664-023-10414-8
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents