Temporarily Restricting Solidity Smart Contract Interactions

15 May 2024

Papers citing "Temporarily Restricting Solidity Smart Contract Interactions"

6 / 6 papers shown

Title
Compositional Security for Reentrant Applications Ethan Cecchetti Siqiu Yao Haobin Ni A. Myers LRM 46 35 0 15 Mar 2021
Formal Analysis of Composable DeFi Protocols Palina Tolmach Yi Li Shang-Wei Lin Yang Liu 54 41 0 28 Feb 2021
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 20 87 0 01 Oct 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Kaihua Qin Liyi Zhou B. Livshits Arthur Gervais 34 204 0 08 Mar 2020
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 42 612 0 26 Aug 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