Oracle-Supported Dynamic Exploit Generation for Smart Contracts

v1v2 (latest)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts

14 September 2019

Yang Liu

ArXiv (abs)PDF HTML

Papers citing "Oracle-Supported Dynamic Exploit Generation for Smart Contracts"

13 / 13 papers shown

Title
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 75 0 0 08 Apr 2024
Precise Attack Synthesis for Smart Contracts Yu Feng Emina Torlak Rastislav Bodík 46 43 0 16 Feb 2019
Full-speed Fuzzing: Reducing Fuzzing Overhead through Coverage-guided Tracing Stefan Nagy Matthew Hicks 33 138 0 31 Dec 2018
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 45 255 0 14 Dec 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 34 111 0 27 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 35 77 0 26 Sep 2018
Evaluating Fuzz Testing George Klees Andrew Ruef Benji Cooper Shiyi Wei M. Hicks 33 630 0 29 Aug 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 51 88 0 02 Aug 2018
Learning Inputs in Greybox Fuzzing Valentin Wüstholz M. Christakis AAML 33 5 0 20 Jul 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 48 692 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 64 923 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 43 596 0 16 Feb 2018
Understanding Modern Banking Ledgers through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money G. Peters Efstathios Panayi AILaw 42 718 0 18 Nov 2015