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

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

13 May 2020

Clara Schneidewind

Ilya Grishchenko

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

13 / 13 papers shown

Title
Fuzz on the Beach: Fuzzing Solana Smart Contracts Sven Smolka Jens-Rene Giesen Pascal Winkler Oussama Draissi Lucas Davi Ghassan O. Karame Klaus Pohl 19 14 0 06 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 26 0 0 07 Jun 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 20 5 0 21 Apr 2023
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 24 9 0 31 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 38 12 0 15 Jan 2023
SoK: Play-to-Earn Projects Jingfan Yu Mengqian Zhang Xi Chen Zhixuan Fang 19 5 0 02 Nov 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 31 1 0 27 Aug 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 Xingliang Yuan 29 13 0 05 Jul 2022
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel Giovanni Vigna 26 93 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 13 46 0 23 Mar 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 61 10 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 47 94 0 07 Jan 2021
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 14 1 0 15 Jul 2020