eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

13 May 2020

Papers citing "eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts"

34 / 34 papers shown

Title
SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework Oualid Zaazaa H. Bakkali 123 3 0 28 Nov 2024
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis Dalila Ressi Alvise Spanò Lorenzo Benetollo Carla Piazza M. Bugliesi Sabina Rossi 67 5 0 26 Jul 2024
Dual-view Aware Smart Contract Vulnerability Detection for Ethereum Jiacheng Yao Maolin Wang Wanqi Chen Chengxiang Jin Jiajun Zhou Shanqing Yu Qi Xuan 77 0 0 29 Jun 2024
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers Sébastien Andreina Tobias Cloosters Lucas Davi Jens-Rene Giesen Marco Gutfleisch Ghassan O. Karame Alena Naiakshina Houda Naji LRM 33 1 0 19 Jun 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 45 3 0 17 Jun 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 56 6 0 14 Feb 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 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 54 2 0 31 Oct 2023
Fuzz on the Beach: Fuzzing Solana Smart Contracts Sven Smolka Jens-Rene Giesen Pascal Winkler Oussama Draissi Lucas Davi Ghassan O. Karame Klaus Pohl 49 16 0 06 Sep 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
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts Chihiro Kado Naoto Yanai Jason Paul Cruz Kyosuke Yamashita Shingo Okamura 57 0 0 07 Jun 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 63 26 0 25 Apr 2023
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts Monika di Angelo G. Salzer 58 10 0 23 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 58 7 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 42 19 0 13 Apr 2023
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study Monika di Angelo Thomas Durieux J. Ferreira G. Salzer 54 13 0 18 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 89 40 0 14 Feb 2023
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 45 9 0 31 Jan 2023
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts Nikolay Ivanov Qiben Yan Anurag Kompalli 69 20 0 20 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 81 13 0 15 Jan 2023
SoK: Play-to-Earn Projects Jingfan Yu Mengqian Zhang Xi Chen Zhixuan Fang 66 5 0 02 Nov 2022
Abstract interpretation of Michelson smart-contracts Guillaume Bau A. Miné Vincent Botbol Mehdi Bouaziz 60 11 0 11 Oct 2022
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities Hoang H. Nguyen Nhat-Minh Nguyen Chunyao Xie Zahra Ahmadi Daniel Kudendo Thanh-Nam Doan Lingxiao Jiang 65 21 0 28 Aug 2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 65 1 0 27 Aug 2022
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects Xiao Yi Yuzhou Fang Daoyuan Wu Lingxiao Jiang 67 19 0 30 Jul 2022
Penny Wise and Pound Foolish: Quantifying the Risk of Unlimited Approval of ERC20 Tokens on Ethereum Dabao Wang Hang Feng Siwei Wu Yajin Zhou Lei Wu Lizhen Qu 63 15 0 05 Jul 2022
Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts C. F. Torres H. Jonker R. State 70 28 0 23 Aug 2021
DeFiRanger: Detecting Price Manipulation Attacks on DeFi Applications Siwei Wu Dabao Wang Jianting He Yajin Zhou Lei Wu Lizhen Qu Qinming He K. Ren AAML 64 67 0 30 Apr 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
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning O. Lutz Huili Chen Hossein Fereidooni Christoph Sendner Alexandra Dmitrienko A. Sadeghi F. Koushanfar 68 47 0 23 Mar 2021
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 57 39 0 15 Jan 2021
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Markus Scherer Matteo Maffei 97 11 0 14 Jan 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 94 98 0 07 Jan 2021
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 53 1 0 15 Jul 2020