ResearchTrend.AI
Precise Attack Synthesis for Smart Contracts

Precise Attack Synthesis for Smart Contracts

Yu Feng
Emina Torlak
Rastislav Bodík
ArXiv (abs)PDFHTML

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
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
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
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
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
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
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
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