Markus Knecht, Burkhard Stiller. SCUR: Smart Contracts with a Static Upper-bound on Resource Usage. In Guojun Wang 0001, Ryan K. L. Ko, Md. Zakirul Alam Bhuiyan, Yi Pan 0001, editors, 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, December 29, 2020 - January 1, 2021. pages 1926-1934, IEEE, 2020. [doi]
Abstract is missing.