Abstract interpretation of Michelson smart-contracts

11 October 2022

Papers citing "Abstract interpretation of Michelson smart-contracts"

5 / 5 papers shown

Title
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 54 122 0 13 May 2020
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mark Mossberg F. Manzano Eric Hennenfent Alex Groce Gustavo Grieco Josselin Feist Trent Brunson Artem Dinaburg 72 319 0 08 Jul 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 64 256 0 14 Dec 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 84 925 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 62 601 0 16 Feb 2018