Tainting in Smart Contracts: Combining Static and Runtime Verification.

Shaun Azzopardi Joshua Ellul Ryan Falzon Gordon J. Pace

Published in: RV (2022)

Keyphrases

model checking
database
data mining
real time
databases
evolutionary algorithm
combining multiple
data sets
machine learning
supply chain
smart grid
formal verification
dynamic analysis