collaborators

1 paper

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,…