Smart Contract Repair

12 December 2019

Papers citing "Smart Contract Repair"

6 / 6 papers shown

Title
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 32 605 0 26 Aug 2019
On the specification and verification of atomic swap smart contracts R. V. D. Meyden 21 25 0 14 Nov 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 25 686 0 11 Jul 2018
Automatic Software Repair: a Bibliography Monperrus Martin 29 233 0 02 Jul 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 26 286 0 23 Feb 2018