VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

29 August 2019

Papers citing "VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts"

5 / 5 papers shown

Title
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis E. Albert Pablo Gordillo A. Rubio Ilya Sergey 38 17 0 22 Nov 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 40 692 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 921 0 04 Jun 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 31 287 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 596 0 16 Feb 2018