An Automated Analyzer for Financial Security of Ethereum Smart Contracts

An Automated Analyzer for Financial Security of Ethereum Smart Contracts

27 August 2022

Yan Xiong

Papers citing "An Automated Analyzer for Financial Security of Ethereum Smart Contracts"

6 / 6 papers shown

Title
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 32 121 0 13 May 2020
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 612 0 26 Aug 2019
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses Huashan Chen Marcus Pendleton Laurent L. Njilla Shouhuai Xu 53 443 0 13 Aug 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 28 255 0 14 Dec 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 919 0 04 Jun 2018
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 71 95 0 05 Mar 2014