Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1802.06038
Cited By
v1
v2 (latest)
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
16 February 2018
I. Nikolic
Aashish Kolluri
Ilya Sergey
P. Saxena
Aquinas Hobor
Re-assign community
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
Previous
1
2
3