4 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Gerardo Iuliano, Gabriele De Vito, Dario Di Nucci
Smart contracts are immutable programs deployed on blockchain platforms, where vulnerabilities can translate directly into financial loss. Among the techniques proposed for their d…