v1v2 (latest)

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

16 February 2018

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 53 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 76 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 77 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 31 10 0 02 May 2019