Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts

Atefeh Zareh Chahoki, Marco Roveri

Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces seque…