An Empirical Study of Blockchain System Vulnerabilities: Modules, Types,
and Patterns

An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and Patterns

23 October 2021

Marco Antonio Rodrigues Vasconcelos

Daoyuan Wu

Lingxiao Jiang

R. P. D. Santos

Kehuan Zhang

Wei Zhang

Papers citing "An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and Patterns"

4 / 4 papers shown

Title
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 47 22 0 04 May 2024
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects Xiao Yi Yuzhou Fang Daoyuan Wu Lingxiao Jiang 14 16 0 30 Jul 2022
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 89 262 0 21 Jan 2021
AGChain: A Blockchain-based Gateway for Trustworthy App Delegation from Mobile App Markets Mengjie Chen Xiao Yi Daoyuan Wu Jian F. Xu Yingjiu Li Debin Gao 8 1 0 16 Jan 2021