3 papers
cs.CR2026
A Risk-Stratified Benchmark Dataset for Bad Randomness (SWC-120) Vulnerabilities in Ethereum Smart Contracts
Hadis Rezaei, Rahim Taheri, Francesco Palmieri
Many Ethereum smart contracts rely on block attributes such as block.timestamp or blockhash to generate random numbers for applications like lotteries and games. However, these val…
cs.CR2025
TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
Hadis Rezaei, Ahmed Afif Monrat, Karl Andersson +1
The inherent determinism of blockchain technology poses a significant challenge to generating secure random numbers within smart contracts, leading to exploitable vulnerabilities,…
cs.CR2025
SoK: Root Cause of $1 Billion Loss in Smart Contract Real-World Attacks via a Systematic Literature Review of Vulnerabilities
Hadis Rezaei, Mojtaba Eshghie, Karl Anderesson +1
While catastrophic attacks on Ethereum persist, vulnerability research remains fixated on implementation-level smart contract bugs, creating a gap between academic understanding of…