Markus Knecht: A Robust Smart Contract Approach based on Substructural Types and On-Chain Code Verification; Shaker, Aachen, Germany, October 2024.