Security Analysis of EOSIO Smart Contracts.
作者： Xuxian Jiang , Xiapu Luo , Haoyu Wang , Yao Guo , Ting Yu
DOI:
关键词:
摘要: … smart contracts are vulnerable. We further analyze possible exploitation attempts on these vulnerable smart contracts … work on detecting security vulnerabilities in EOSIO smart contracts. …
arxiv.org
harvard.edu参考文章(26)
David A. Molnar, Michael Y. Levin, Patrice Godefroid, Automated Whitebox Fuzz Testing. network and distributed system security symposium. ,(2008)
Cristian Cadar, Daniel Dunbar, Dawson Engler, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs operating systems design and implementation. pp. 209- 224 ,(2008) , 10.5555/1855741.1855756
Peter Collingbourne, Cristian Cadar, Paul H.J. Kelly, Symbolic Crosschecking of Data-Parallel Floating-Point Code IEEE Transactions on Software Engineering. ,vol. 40, pp. 710- 737 ,(2014) , 10.1109/TSE.2013.2297120
Koushik Sen, George Necula, Liang Gong, Wontae Choi, MultiSE: multi-path symbolic execution using value summaries foundations of software engineering. pp. 842- 853 ,(2015) , 10.1145/2786805.2786830
Jacob Burnim, Koushik Sen, Heuristics for Scalable Dynamic Test Generation automated software engineering. pp. 443- 446 ,(2008) , 10.1109/ASE.2008.69
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor, Making Smart Contracts Smarter computer and communications security. pp. 254- 269 ,(2016) , 10.1145/2976749.2978309
William Fu, Raymond Lin, Daniel Inge, TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly. arXiv: Cryptography and Security. ,(2018)
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar, Chopped symbolic execution international conference on software engineering. pp. 350- 360 ,(2018) , 10.1145/3180155.3180251
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov, SmartCheck: static analysis of ethereum smart contracts 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB). pp. 9- 16 ,(2018) , 10.1145/3194113.3194115
L. M. Bach, B. Mihaljevic, M. Zagar, Comparative analysis of blockchain consensus algorithms 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). pp. 1545- 1550 ,(2018) , 10.23919/MIPRO.2018.8400278