Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis

2 July 2020

Papers citing "Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis"

9 / 9 papers shown

Title
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks C. F. Torres Mathis Baden Robert Norvill Beltran Borja Fiz Pontiveros H. Jonker S. Mauw 26 47 0 12 Mar 2020
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mark Mossberg F. Manzano Eric Hennenfent Alex Groce Gustavo Grieco Josselin Feist Trent Brunson Artem Dinaburg 39 313 0 08 Jul 2019
Annotary: A Concolic Execution System for Developing Secure Smart Contracts Konrad Weiss J. Schütte 16 19 0 08 Jul 2019
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts C. F. Torres M. Steichen Radu State 41 185 0 19 Feb 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 25 254 0 14 Dec 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 30 88 0 02 Aug 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 46 915 0 04 Jun 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 28 286 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 591 0 16 Feb 2018