Slither: A Static Analysis Framework For Smart Contracts

26 August 2019

Papers citing "Slither: A Static Analysis Framework For Smart Contracts"

28 / 128 papers shown

Title
Do not rug on me: Zero-dimensional Scam Detection Bruno Mazorra Victor Adan Vanesa Daza 55 10 0 16 Jan 2022
A Survey of Verification, Validation and Testing Solutions for Smart Contracts Chaïmaa Benabbou Ö. Gürcan 29 5 0 07 Dec 2021
xFuzz: Machine Learning Guided Cross-Contract Fuzzing Yinxing Xue Jiaming Ye Wei Zhang Jun Sun Lei Ma Haijun Wang Jianjun Zhao 68 43 0 24 Nov 2021
Unmanned Aerial Vehicles Traffic Management Solution Using Crowd-sensing and Blockchain Ruba Alkadi Abdulhadi Shoufan 59 29 0 28 Oct 2021
An Empirical Study of Protocols in Smart Contracts Timothy Mou Michael J. Coblenz Jonathan Aldrich 21 3 0 18 Oct 2021
On the Suitability of Blockchain Platforms for IoT Applications: Architectures, Security, Privacy, and Performance Sotirios Brotsis Konstantinos Limniotis G. Bendiab N. Kolokotronis S. Shiaeles 43 67 0 06 Sep 2021
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
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
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 165 101 0 01 Jul 2021
Vulnerability and Transaction behavior based detection of Malicious Smart Contracts R. Agarwal T. Thapliyal S. Shukla 44 13 0 25 Jun 2021
Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion Zhenguang Liu Peng Qian Xiang Wang Lei Zhu Qinming He S. Ji 89 109 0 17 Jun 2021
A Survey of Security Vulnerabilities in Ethereum Smart Contracts N. Samreen Manar H. Alalfi 47 28 0 14 May 2021
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts N. Samreen Manar H. Alalfi 52 24 0 06 May 2021
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel Giovanni Vigna 60 100 0 17 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
Assessing Smart Contracts Security Technical Debts Sabreen Ahmadjee Carlos Mera-Gómez Rami Bahsoon 39 9 0 17 Mar 2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts Shaokai Lin Xinyuan Sun Jianan Yao Ronghui Gu 50 4 0 03 Mar 2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning Mojtaba Eshghie Cyrille Artho D. Gurov 50 54 0 15 Feb 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
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
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts Ru Ji Ningyu He Lei Wu Haoyu Wang Guangdong Bai Yao Guo 52 16 0 11 Jun 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
Smart Contract Repair Xiao Liang Yu Omar I. Al-Bataineh David Lo Abhik Roychoudhury 62 64 0 12 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
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 100 190 0 15 May 2019