SmartBugs: A Framework to Analyze Solidity Smart Contracts

8 July 2020

Papers citing "SmartBugs: A Framework to Analyze Solidity Smart Contracts"

4 / 4 papers shown

Title
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 23 59 0 18 Feb 2019
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