Runtime Verification of Ethereum Smart Contracts
a survey of attacks on ethereum smart contracts .