@conference{Knec21a, address = {Guangzhou, China}, author = {Knecht, Markus}, month = {jan}, title = {Smart Contracts with a Static Upper-bound on Resource Usage}, year = {2021} }