2 papers
cs.DC2025
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…
cs.CR2025
SoK: Concurrency in Blockchain -- A Systematic Literature Review and the Unveiling of a Misconception
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
Smart contracts, the cornerstone of blockchain technology, enable secure, automated distributed execution. Given their role in handling large transaction volumes across clients, mi…