Securify: Practical Security Analysis of Smart Contracts

4 June 2018

Martin Vechev

Papers citing "Securify: Practical Security Analysis of Smart Contracts"

4 / 4 papers shown

Title
SoK: Design, Vulnerabilities, and Security Measures of Cryptocurrency Wallets Yimika Erinle Yathin Kethepalli Yebo Feng Jiahua Xu 48 4 0 24 Jul 2023
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 23 286 0 23 Feb 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 27 591 0 16 Feb 2018
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact Massimo Bartoletti S. Carta Tiziana Cimoli Roberto Saia 56 317 0 10 Mar 2017