Tainting in Smart Contracts: Combining Static and Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. - Shaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace (RV, 2022)