Markus Knecht

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Efficient Implementation

Programming Language

Top Venues

ICSE (Companion Volume)

Publications

Thomas Grübl, Jan von der Assen, Markus Knecht, Burkhard Stiller
PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates. CoRR (2024)
Markus Knecht, Burkhard Stiller
CUSC: Composable User-Centric Smart Contracts. BRAINS (2023)
Markus Knecht, Burkhard Stiller
CASC: Content Addressed Smart Contracts. Blockchain (2022)
Markus Knecht, Burkhard Stiller
Implementing SAMOS in Mandala. BRAINS (2021)
Markus Knecht, Burkhard Stiller
SAMOS: a Smart Contract Access Management over Opaque and Substructural Types. IEEE ICBC (2021)
Christian Killer, Markus Knecht, Claude Müller, Bruno Rodrigues, Eder J. Scheid, Muriel Figueredo Franco, Burkhard Stiller
Æternum: A Decentralized Voting System with Unconditional Privacy. IEEE ICBC (2021)
Markus Knecht, Burkhard Stiller
SCUR: Smart Contracts with a Static Upper-bound on Resource Usage. TrustCom (2020)
Markus Knecht
Mandala: A Smart Contract Programming Language. CoRR (2019)
Markus Knecht, Burkhard Stiller
SATOS: Storage Agnostic Tokens over Opaque and Substructural Types. CVCBT (2019)
Jürgen Cito, Philipp Leitner, Christian Bosshard, Markus Knecht, Genc Mazlami, Harald C. Gall
PerformanceHat: augmenting source code with runtime performance traces in the IDE. ICSE (Companion Volume) (2018)
Markus Knecht, Burkhard Stiller
SmartDEMAP: A Smart Contract Deployment and Management Platform. AIMS (2017)
Markus Knecht, Willi Meier, Carlo U. Nicola
A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm. CoRR (2014)