@inproceedings{KnSt21a, address = {Guangzhou, China}, author = {Knecht, Markus and Stiller, Burkhard}, booktitle = {(TrustCom 2020)}, doi = {10.1109/TrustCom50675.2020.00263}, month = {dec}, pages = {1926-1934}, publisher = {IEEE}, title = {Smart Contracts with a Static Upper-bound on Resource Usage}, url = {https://doi.org/10.1109/TrustCom50675.2020.00263}, year = {2020} }