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"

11 / 11 papers shown

Title
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel Philip Daian Mahimna Kelkar Ari Juels 76 65 0 09 Sep 2021
The EMV Standard: Break, Fix, Verify David Basin R. Sasse Jorge Toro-Pozo 20 55 0 15 Jun 2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 37 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 444 0 13 Aug 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 35 255 0 14 Dec 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 26 110 0 27 Oct 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 40 691 0 11 Jul 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
MaMaDroid: Detecting Android Malware by Building Markov Chains of Behavioral Models (Extended Version) Lucky Onwuzurike Enrico Mariconti Panagiotis Andriotis Emiliano De Cristofaro Gordon J. Ross Gianluca Stringhini 20 168 0 20 Nov 2017
Automated analysis of security protocols with global state S. Kremer Robert Künnemann 71 95 0 05 Mar 2014