EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts

1 October 2020

Papers citing "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"

9 / 9 papers shown

Title
Smart Contracts for SMEs and Large Companies C. G. Liu P. Bodorik D. Jutla 16 0 0 28 May 2025
FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain Tahrim Hossain Sakib Hassan Faisal Haque Bappy Muhammad Nur Yanhaona Sarker Ahmed Rumee Moinul Zaber Tariqul Islam 41 0 0 15 Apr 2025
SoK: Towards Effective Automated Vulnerability Repair Ying Li Faysal hossain shezan Bomin wei Gang Wang Yuan Tian 162 1 0 31 Jan 2025
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks C. F. Torres Mathis Baden Robert Norvill Beltran Borja Fiz Pontiveros H. Jonker S. Mauw 33 47 0 12 Mar 2020
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 612 0 26 Aug 2019
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 47 313 0 08 Jul 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 35 255 0 14 Dec 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 56 921 0 04 Jun 2018
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 596 0 16 Feb 2018