Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited

18 February 2019

Papers citing "Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited"

6 / 6 papers shown

Title
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 38 255 0 14 Dec 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 33 77 0 26 Sep 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 62 922 0 04 Jun 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 33 287 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 36 596 0 16 Feb 2018