Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis

22 November 2018

Papers citing "Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis"

3 / 3 papers shown

Title
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 62 922 0 04 Jun 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 36 287 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 38 596 0 16 Feb 2018