SCUR: Smart Contracts with a Static Upper-Bound on Resource Usage | IEEE Conference Publication | IEEE Xplore