Markus Knecht: Smart Contracts with a Static Upper-bound on Resource Usage; 19th IEEE International Conference on Trust, Security, and Privacy in Computing and Communications, Guangzhou, China, January 2021.