The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts

14 January 2021

Papers citing "The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts"

3 / 3 papers shown

Title
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 22 9 0 31 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 33 12 0 15 Jan 2023
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 4 120 0 13 May 2020