10 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.CR2024
PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates
Thomas Grübl, Jan von der Assen, Markus Knecht +1
Verifying the integrity of embedded device characteristics is required to ensure secure operation of a device. One central challenge is to securely extract and store device-specifi…
cs.PL2019★ 6 cited
Mandala: A Smart Contract Programming Language
Markus Knecht
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 blockchai…
cs.CR2014★ 10 cited
A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm
Markus Knecht, Willi Meier, Carlo U. Nicola
We present an algorithm for the Merkle tree traversal problem which combines the efficient space-time trade-off from the fractal Merkle tree [3] and the space efficiency from the i…