Markus Knecht

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