Marc Leinweber

11 papers A 1C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Performance and Security of TEE-Based Threshold Cryptography.
SysTEX@EuroSys
Marius Haller, Marc Leinweber, Tilo Spannagel, Markus Raiber, Hannes Hartenstein
2025 J jnl
Not eXactly Byzantine: Efficient and Resilient TEE-Based State Machine Replication.
CoRR
Marc Leinweber, Hannes Hartenstein
2023 — conf
ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract.
Middleware Demos/Posters/Doctoral Symposium
Tilo Spannagel, Marc Leinweber, Adriano Castro, Hannes Hartenstein
2023 A conf
Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1.
DISC
Marc Leinweber, Hannes Hartenstein
2023 — conf
Investigating the Role of Computing Education for Informed Usage Decision-Making.
WiPSCE
Luisa Gebhardt, Marc Leinweber, Tilman Michaeli
2023 J jnl
Let It TEE: Asynchronous Byzantine Atomic Broadcast with n≥2f+1.
CoRR
Marc Leinweber, Hannes Hartenstein
2022 — conf
Grasping the Concept of Decentralized Systems for Instant Messaging.
WiPSCE
Luisa Gebhardt, Marc Leinweber, Florian Jacob, Hannes Hartenstein
2021 C conf
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.
SACMAT
Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert
2019 — conf
Banklaves: Concept for a Trustworthy Decentralized Payment Service for Bitcoin.
IEEE ICBC
Matthias Grundmann, Marc Leinweber, Hannes Hartenstein
2019 — conf
TEE-Based Distributed Watchtowers for Fraud Protection in the Lightning Network.
DPM/CBT@ESORICS
Marc Leinweber, Matthias Grundmann, Leonard Schönborn, Hannes Hartenstein
2018 J jnl
Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching.
CoRR
Marc Leinweber, Hannes Hartenstein, Philipp Andelfinger