SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

v1v2 (latest)

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

17 April 2021

Christopher Kruegel

ArXiv (abs)PDF HTML

Papers citing "SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds"

10 / 10 papers shown

Title
Compositional Security for Reentrant Applications Ethan Cecchetti Siqiu Yao Haobin Ni A. Myers LRM 48 35 0 15 Mar 2021
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 47 121 0 13 May 2020
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 47 618 0 26 Aug 2019
Targeted Greybox Fuzzing with Static Lookahead Analysis Valentin Wüstholz M. Christakis 46 62 0 17 May 2019
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 76 189 0 15 May 2019
Precise Attack Synthesis for Smart Contracts Yu Feng Emina Torlak Rastislav Bodík 48 43 0 16 Feb 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 48 256 0 14 Dec 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 34 111 0 27 Oct 2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection Bo Jiang Ye Liu William Chan 48 695 0 11 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 68 924 0 04 Jun 2018