SCUR: Smart Contracts with a Static Upper-bound on Resource Usage.

Markus Knecht, Burkhard Stiller

Browse the full TrustCom paper archive.