Oracle-Supported Dynamic Exploit Generation for Smart Contracts

v1v2 (latest)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts

14 September 2019

Yang Liu

ArXiv (abs)PDF HTML

Papers citing "Oracle-Supported Dynamic Exploit Generation for Smart Contracts"

11 / 11 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 98 27 0 04 May 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 84 12 0 22 Apr 2024
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 90 0 0 08 Apr 2024
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 52 3 0 28 Mar 2024
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Yanbin Wang Lun Zhang Yanbin Wang Jianhai Chen Qinming He 79 5 0 07 Dec 2023
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 93 8 0 05 Sep 2023
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts Mojtaba Eshghie Wolfgang Ahrendt Cyrille Artho Thomas T. Hildebrandt G. Schneider 13 1 0 14 May 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 63 26 0 25 Apr 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 81 13 0 15 Jan 2023
Chaos Engineering of Ethereum Blockchain Clients Long Zhang Javier Ron Benoit Baudry Monperrus Martin 54 9 0 30 Oct 2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning Mojtaba Eshghie Cyrille Artho D. Gurov 42 54 0 15 Feb 2021