Vandal: A Scalable Security Analysis Framework for Smart Contracts.
作者： Ralph Holz , Vincent Gramoli , François Gauthier , Bernhard Scholz , Lexi Brent
DOI:
关键词:
摘要: … framework for Ethereum smart contracts. Vandal consists of an … set of common smart contract security vulnerabilities, and show … We introduce symbolic labels for stack locations that are …
arxiv.org参考文章(11)
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph ACM Transactions on Programming Languages and Systems. ,vol. 13, pp. 451- 490 ,(1991) , 10.1145/115372.115320
Martin Bravenboer, Yannis Smaragdakis, Strictly declarative specification of sophisticated points-to analyses conference on object-oriented programming systems, languages, and applications. ,vol. 44, pp. 243- 262 ,(2009) , 10.1145/1639949.1640108
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
Yoichi Hirai, Defining the Ethereum Virtual Machine for Interactive Theorem Provers financial cryptography. pp. 520- 535 ,(2017) , 10.1007/978-3-319-70278-0_33
Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples, Towards verifying ethereum smart contract bytecode in Isabelle/HOL certified programs and proofs. pp. 66- 77 ,(2018) , 10.1145/3167084
Aquinas Hobor, Prateek Saxena, Ivica Nikolic, Ilya Sergey, Aashish Kolluri, Finding The Greedy, Prodigal, and Suicidal Contracts at Scale arXiv: Cryptography and Security. ,(2018)
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma, ZEUS: Analyzing Safety of Smart Contracts. network and distributed system security symposium. ,(2018) , 10.14722/NDSS.2018.23082
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey, EthIR: A Framework for High-Level Analysis of Ethereum Bytecode arXiv: Programming Languages. ,(2018) , 10.1007/978-3-030-01090-4_30
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis, MadMax: surviving out-of-gas conditions in Ethereum smart contracts Proceedings of the ACM on Programming Languages. ,vol. 2, pp. 116- ,(2018) , 10.1145/3276486
Ting Chen, Xiaosong Zhang, Xiapu Luo, Xiaoqi Li, Under-Optimized Smart Contracts Devour Your Money arXiv: Software Engineering. ,(2017)