2 papers
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.AI2025
Towards explainable decision support using hybrid neural models for logistic terminal automation
Riccardo D'Elia, Alberto Termine, Francesco Flammini
The integration of Deep Learning (DL) in System Dynamics (SD) modeling for transportation logistics offers significant advantages in scalability and predictive accuracy. However, t…