Precise Attack Synthesis for Smart Contracts

16 February 2019

Papers citing "Precise Attack Synthesis for Smart Contracts"

7 / 7 papers shown

Title
DeFeed: Secure Decentralized Cross-Contract Data Feed in Web 3.0 for Connected Autonomous Vehicles Xingwu Sun Runhua Xu Wei Ni Li Duan Chao Li 60 0 0 15 May 2025
The Blockchain Imitation Game Kaihua Qin Stefanos Chaliasos Liyi Zhou B. Livshits Basel Alomair Arthur Gervais AAML 72 32 0 31 Mar 2023
A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues Khizar Hameed M. Barika Saurabh Garg M. B. Amin B. Kang 50 55 0 25 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
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 41 7 0 28 Dec 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 122 116 0 31 Aug 2020
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