1 citations · 1 across the 3 of their papers we have counts for
3 papers
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,…
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…
Obstacles in Fully Automatic Program Repair: A survey
S. Amirhossein Mousavi, Donya Azizi Babani, Francesco Flammini
The current article is an interdisciplinary attempt to decipher automatic program repair processes. The review is done by the manner typical to human science known as diffraction.…