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"
50 / 119 papers shown
Title
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Lu-Chi Liu
Lili Wei
Wuqi Zhang
Ming Wen
Yepang Liu
Shing-Chi Cheung
42
18
0
24 Aug 2021
Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts
C. F. Torres
H. Jonker
R. State
70
28
0
23 Aug 2021
Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection
Zhenguang Liu
Peng Qian
Xiaoyang Wang
Yuan Zhuang
Lin Qiu
Xun Wang
88
218
0
24 Jul 2021
HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection
Mengjie Ding
Peiru Li
Shanshan Li
He Zhang
102
34
0
21 Jun 2021
SCSGuard: Deep Scam Detection for Ethereum Smart Contracts
Huiwen Hu
Yuedong Xu
42
21
0
21 May 2021
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping
Gabriel de Sousa Matsumura
Luciana Brasil Rebelo dos Santos
A. F. D. Conceição
N. Vijaykumar
19
2
0
26 Apr 2021
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning
O. Lutz
Huili Chen
Hossein Fereidooni
Christoph Sendner
Alexandra Dmitrienko
A. Sadeghi
F. Koushanfar
68
47
0
23 Mar 2021
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
Filippo Contro
Marco Crosara
Mariano Ceccato
M. Preda
50
37
0
16 Mar 2021
Compositional Security for Reentrant Applications
Ethan Cecchetti
Siqiu Yao
Haobin Ni
A. Myers
LRM
70
35
0
15 Mar 2021
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao
Sidi Mohamed Beillahi
Ryan Song
Yuxi Cai
A. Veneris
Fan Long
13
1
0
22 Feb 2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
Mojtaba Eshghie
Cyrille Artho
D. Gurov
50
54
0
15 Feb 2021
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts
C. F. Torres
Antonio Ken Iannillo
Arthur Gervais
R. State
60
39
0
15 Jan 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts
Nami Ashizawa
Naoto Yanai
Jason Paul Cruz
Shingo Okamura
96
98
0
07 Jan 2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
T. D. Nguyen
Long H. Pham
Jun Sun
77
58
0
06 Jan 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts
Z. Khan
A. Namin
47
7
0
28 Dec 2020
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
Michael Rodler
Wenting Li
Ghassan O. Karame
Lucas Davi
75
88
0
01 Oct 2020
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
Bin Hu
Zongyang Zhang
Jianwei Liu
Yizhong Liu
Jiayuan Yin
R. Lu
Xiaodong Lin
AILaw
124
116
0
31 Aug 2020
STAN: Towards Describing Bytecodes of Smart Contract
Xiaoqi Li
Ting Chen
Xiapu Luo
Tao Zhang
Le Yu
Zhou Xu
56
19
0
19 Jul 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time
J. Chiang
55
1
0
15 Jul 2020
SmartBugs: A Framework to Analyze Solidity Smart Contracts
J. Ferreira
Pedro Cruz
Thomas Durieux
Rui Abreu
72
153
0
08 Jul 2020
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis
Yuichiro Chinen
Naoto Yanai
Jason Paul Cruz
Shingo Okamura
53
37
0
02 Jul 2020
MAD-HTLC: Because HTLC is Crazy-Cheap to Attack
Itay Tsabary
Matan Yechieli
Alex Manuskin
Ittay Eyal
62
73
0
22 Jun 2020
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
C. F. Torres
Antonio Ken Iannillo
Arthur Gervais
R. State
23
6
0
25 May 2020
Time-Travel Investigation: Towards Building A Scalable Attack Detection Framework on Ethereum
Lei Wu
Siwei Wu
Yajin Zhou
Runhuai Li
Zhi Wang
Xiapu Luo
Cong Wang
K. Ren
46
13
0
17 May 2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind
Ilya Grishchenko
Markus Scherer
Matteo Maffei
70
122
0
13 May 2020
Multi-Class classification of vulnerabilities in Smart Contracts using AWD-LSTM, with pre-trained encoder inspired from natural language processing
Ajay K. Gogineni
S. Swayamjyoti
Devadatta Sahoo
K. Sahu
R. Kishore
61
33
0
21 Mar 2020
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities
Mudabbir Kaleem
Anastasia Mavridou
Aron Laszka
40
37
0
16 Mar 2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
C. F. Torres
Mathis Baden
Robert Norvill
Beltran Borja Fiz Pontiveros
H. Jonker
S. Mauw
65
47
0
12 Mar 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit
Kaihua Qin
Liyi Zhou
B. Livshits
Arthur Gervais
83
204
0
08 Mar 2020
An Overview on Smart Contracts: Challenges, Advances and Platforms
Zibin Zheng
Shaoan Xie
Hongning Dai
Weili Chen
Xiangping Chen
J. Weng
Muhammad Imran
AILaw
76
805
0
22 Dec 2019
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures
Jiaming Ye
Mingliang Ma
Yun Lin
Lei Ma
Yinxing Xue
Jianjun Zhao
32
14
0
10 Dec 2019
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
Alex Groce
Josselin Feist
Gustavo Grieco
Michael Colburn
70
36
0
18 Nov 2019
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
William Zhang
Sebastian Banescu
Leodardo Pasos
Steven T. Stewart
Vijay Ganesh
59
35
0
01 Nov 2019
Investigating MMM Ponzi scheme on Bitcoin
Yazan Boshmaf
Charitha Elvitigala
Husam Al Jawaheri
Primal Wijesekera
Mashael Al Sabah
LRM
40
19
0
27 Oct 2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
I. Homoliak
Sarad Venugopalan
Qingze Hum
Daniël Reijsbergen
Richard Schumi
Pawel Szalachowski
85
77
0
22 Oct 2019
A Data Science Approach for Honeypot Detection in Ethereum
R. Camino
Tim Kahlke
Mathis Baden
R. State
70
16
0
03 Oct 2019
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang
Yi Li
Shang-Wei Lin
Cyrille Artho
Lei Ma
Yang Liu
64
61
0
14 Sep 2019
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So
Myungho Lee
Jisu Park
Heejo Lee
Hakjoo Oh
86
112
0
29 Aug 2019
Slither: A Static Analysis Framework For Smart Contracts
Josselin Feist
Gustavo Grieco
Alex Groce
80
622
0
26 Aug 2019
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Purathani Praitheeshan
Lei Pan
Jiangshan Yu
Joseph K. Liu
R. Doss
64
141
0
22 Aug 2019
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses
Huashan Chen
Marcus Pendleton
Laurent L. Njilla
Shouhuai Xu
95
451
0
13 Aug 2019
A Revisit on Blockchain-based Smart Contract Technology
Fengkie Junis
F. Prasetya
Farouq Ibrahim Lubay
A. Sari
27
5
0
22 Jul 2019
Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems
Teng Hu
Jiachi Chen
Yufei Zhang
Ang Chen
Shifang Deng
28
28
0
18 Jul 2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg
F. Manzano
Eric Hennenfent
Alex Groce
Gustavo Grieco
Josselin Feist
Trent Brunson
Artem Dinaburg
87
317
0
08 Jul 2019
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Konrad Weiss
J. Schütte
32
19
0
08 Jul 2019
A Security Case Study for Blockchain Games
Tian Min
Wei Cai
56
30
0
13 Jun 2019
Targeted Greybox Fuzzing with Static Lookahead Analysis
Valentin Wüstholz
M. Christakis
51
63
0
17 May 2019
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media
Afiya Ayman
Shanto Roy
Amin Alipour
Aron Laszka
57
7
0
15 May 2019
Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz
M. Christakis
103
190
0
15 May 2019
Bug Searching in Smart Contract
Xiaotao Feng
Qin Wang
Xiaogang Zhu
S. Wen
34
10
0
02 May 2019
Previous
1
2
3
Next