Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level.

Joshua Ellul

Browse the full ISoLA paper archive.