Tainting in Smart Contracts: Combining Static and Runtime Verification.

Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace

Browse the full RV paper archive.