Markus Knecht

According to our database, Markus Knecht authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates.

Thomas Grübl, Jan von der Assen, Markus Knecht, Burkhard Stiller

CoRR, 2024

2023

CUSC: Composable User-Centric Smart Contracts.

Markus Knecht, Burkhard Stiller

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

2022

CASC: Content Addressed Smart Contracts.

Markus Knecht, Burkhard Stiller

Proceedings of the IEEE International Conference on Blockchain, 2022

2021

SAMOS: a Smart Contract Access Management over Opaque and Substructural Types.

Markus Knecht, Burkhard Stiller

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Æternum: A Decentralized Voting System with Unconditional Privacy.

Christian Killer, Markus Knecht, Claude Müller, Bruno Rodrigues, Eder J. Scheid, Muriel Figueredo Franco, Burkhard Stiller

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Implementing SAMOS in Mandala.

Markus Knecht, Burkhard Stiller

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

SCUR: Smart Contracts with a Static Upper-bound on Resource Usage.

Markus Knecht, Burkhard Stiller

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

Mandala: A Smart Contract Programming Language.

Markus Knecht

CoRR, 2019

SATOS: Storage Agnostic Tokens over Opaque and Substructural Types.

Markus Knecht, Burkhard Stiller

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2019

2018

PerformanceHat: augmenting source code with runtime performance traces in the IDE.

Jürgen Cito, Philipp Leitner, Christian Bosshard, Markus Knecht, Genc Mazlami, Harald C. Gall

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

SmartDEMAP: A Smart Contract Deployment and Management Platform.

Markus Knecht, Burkhard Stiller

Proceedings of the Security of Networks and Services in an All-Connected World, 2017

2014

A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm.

Markus Knecht, Willi Meier, Carlo U. Nicola

CoRR, 2014