Runtime Verification of Ethereum Smart Contracts.

Joshua Ellul, Gordon J. Pace

Browse the full EDCC paper archive.