SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

17 April 2021

Papers citing "SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds"

29 / 29 papers shown

Title
Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts Zhang Sheng Tan Kia Quang Shen Wang Shengchen Duan Kai Li Yue Duan 17 0 0 16 May 2025
Secure Smart Contract with Control Flow Integrity Zhiyang Chen Sidi Mohamed Beillahi Pasha Barahimi Cyrus Minwalla Han Du A. Veneris Fan Long 19 0 0 07 Apr 2025
Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis Binbin Zhao Xingshuang Lin Yuan Tian Saman Zonouz Na Ruan Jiliang Li R. Beyah Shouling Ji 44 0 0 31 Mar 2025
DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning Juantao Zhong Daoyuan Wu Ye Liu Maoyi Xie Yang Liu Yi Li Ning Liu AAML 36 0 0 17 Feb 2025
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset Chavhan Sujeet Yashavant MitrajSinh Chavda Saurabh Kumar Amey Karkare Angshuman Karmakar 81 0 0 13 Dec 2024
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Sally Junsong Wang Kexin Pei Junfeng Yang 69 12 0 14 Nov 2024
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts Wenkai Li Xiaoqi Li Zongwei Li Yuqing Zhang 34 16 0 28 Oct 2024
Empowering Visual Artists with Tokenized Digital Assets with NFTs Ruiqiang Li Brian Yecies Qin Wang Shiping Chen Jun Shen 37 0 0 18 Sep 2024
Detecting Buggy Contracts via Smart Testing Sally Junsong Wang Jianan Yao Kexin Pei Hidedaki Takahashi Junfeng Yang 44 1 0 06 Sep 2024
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols Hongbo Wen Hanzhi Liu Jiaxin Song Yanju Chen Wenbo Guo Yu Feng AAML 30 3 0 08 Jul 2024
DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks Dabao Wang Bang Wu Xingliang Yuan Lei Wu Yajin Zhou Helei Cui 31 2 0 17 Jun 2024
Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation Zheyuan He Zihao Li Ao Qiao Xiapu Luo Xiaosong Zhang Ting Chen Shuwei Song Dijun Liu Weina Niu 53 11 0 15 Jun 2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection J. Su Jiachi Chen Zhiyuan Fang Xingwei Lin Yutian Tang Zibin Zheng 23 0 0 14 Jun 2024
Stealing Trust: Unveiling Vulnerabilities in Web3 Authentication Kailun Yan Xiaokuan Zhang Wenrui Diao 26 2 0 01 Jun 2024
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications Xiaofan Li Jin Yang Jiaqi Chen Yuzhe Tang Xing Gao ELM 27 10 0 02 Mar 2024
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools Zexu Wang Jiachi Chen Zibin Zheng Peilin Zheng Yu Zhang Weizhe Zhang 26 5 0 14 Feb 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 21 0 0 27 Dec 2023
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Zheng Cao Lun Zhang Yanbin Wang Jianhai Chen Qinming He 42 4 0 07 Dec 2023
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Meng Li Liehuang Zhu ELM 20 1 0 31 Oct 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 30 81 0 07 Aug 2023
G-Scan: Graph Neural Networks for Line-Level Vulnerability Identification in Smart Contracts Christoph Sendner Ruisi Zhang Alexander Hefter Alexandra Dmitrienko F. Koushanfar 34 1 0 17 Jul 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin D. Song Arthur Gervais 26 25 0 25 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 28 5 0 21 Apr 2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 9 17 0 13 Apr 2023
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 29 13 0 25 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 34 39 0 14 Feb 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 41 12 0 15 Jan 2023
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects Xiao Yi Yuzhou Fang Daoyuan Wu Lingxiao Jiang 22 17 0 30 Jul 2022
Understanding Security Issues in the NFT Ecosystem Dipanjan Das Priyanka Bose Nicola Ruaro Christopher Kruegel Giovanni Vigna 26 159 0 17 Nov 2021