Markus Knecht

Mandala: A Smart Contract Programming Language

2019 · arXiv (Cornell University)

Smart contracts on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change …

CASC: Content Addressed Smart Contracts

2022

Blockchains (BC) depend on content-based addressing, where data is identified and retrieved over its hash. Location-based addressing is used when addressing Smart Contract (SC) code. Using location-based addressing to refer to SC code risks that …