Marc Leinweber

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Asynchronous Cellular Automata

Digital Television

Top Venues

DPM/CBT@ESORICS

Publications

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