Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

v1v2 (latest)

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

16 February 2018

Aashish Kolluri

ArXiv (abs)PDF HTML

Papers citing "Finding The Greedy, Prodigal, and Suicidal Contracts at Scale"

19 / 119 papers shown

Title
A Security Reference Architecture for Blockchains I. Homoliak Sarad Venugopalan Qingze Hum Pawel Szalachowski 49 32 0 15 Apr 2019
Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum Zhen Cheng Xinrui Hou Runhuai Li Yajin Zhou Xiapu Luo Jinku Li K. Ren 56 34 0 03 Apr 2019
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts C. F. Torres M. Steichen Radu State 90 191 0 19 Feb 2019
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 92 58 0 18 Feb 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 52 123 0 04 Jan 2019
Detecting Standard Violation Errors in Smart Contracts Ao Li Fan Long 45 13 0 18 Dec 2018
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 88 259 0 14 Dec 2018
Detecting Token Systems on Ethereum Michael Fröwis A. Fuchs Rainer Böhme 131 50 0 28 Nov 2018
Sapiens Chain: A Blockchain-based Cybersecurity Framework Yu Han Zhongru Wang Qiang Ruan Binxing Fang 16 3 0 27 Nov 2018
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis E. Albert Pablo Gordillo A. Rubio Ilya Sergey 64 17 0 22 Nov 2018
Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats W. Tann X. Han Sourav Sengupta Yew-Soon Ong 63 36 0 16 Nov 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 52 110 0 27 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 70 77 0 26 Sep 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 77 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 73 701 0 11 Jul 2018
Hunting the Ethereum Smart Contract: Color-inspired Inspection of Potential Attacks TonTon Hsien-De Huang 35 50 0 05 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 117 931 0 04 Jun 2018
Towards Distributed Clouds M. Westerlund Nane Kratzke 28 18 0 12 May 2018