A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm. - Markus Knecht; Willi Meier; Carlo U. Nicola (CoRR, 2014)

SmartDEMAP: A Smart Contract Deployment and Management Platform. - Markus Knecht; Burkhard Stiller (AIMS, 2017)

PerformanceHat: augmenting source code with runtime performance traces in the IDE. - Jürgen Cito; Philipp Leitner 001; Christian Bosshard; Markus Knecht; Genc Mazlami; Harald C. Gall (ICSE (Companion Volume), 2018)

SATOS: Storage Agnostic Tokens over Opaque and Substructural Types. - Markus Knecht; Burkhard Stiller (CVCBT, 2019)

Mandala: A Smart Contract Programming Language. - Markus Knecht (CoRR, 2019)

SCUR: Smart Contracts with a Static Upper-bound on Resource Usage. - Markus Knecht; Burkhard Stiller (TrustCom, 2020)

Implementing SAMOS in Mandala. - Markus Knecht; Burkhard Stiller (BRAINS, 2021)

Æternum: A Decentralized Voting System with Unconditional Privacy. - Christian Killer; Markus Knecht; Claude Müller; Bruno Rodrigues 001; Eder J. Scheid; Muriel Figueredo Franco; Burkhard Stiller (IEEE ICBC, 2021)

SAMOS: a Smart Contract Access Management over Opaque and Substructural Types. - Markus Knecht; Burkhard Stiller (IEEE ICBC, 2021)

CASC: Content Addressed Smart Contracts. - Markus Knecht; Burkhard Stiller (Blockchain, 2022)

CUSC: Composable User-Centric Smart Contracts. - Markus Knecht; Burkhard Stiller (BRAINS, 2023)

PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates. - Thomas Grübl; Jan von der Assen; Markus Knecht; Burkhard Stiller (CoRR, 2024)