Marc Leinweber

According to our database, Marc Leinweber authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

2023

Let It TEE: Asynchronous Byzantine Atomic Broadcast with n≥2f+1.

Marc Leinweber, Hannes Hartenstein

CoRR, 2023

Investigating the Role of Computing Education for Informed Usage Decision-Making.

Luisa Gebhardt, Marc Leinweber, Tilman Michaeli

Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 2023

Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1.

Marc Leinweber, Hannes Hartenstein

Proceedings of the 37th International Symposium on Distributed Computing, 2023

ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract.

Tilo Spannagel, Marc Leinweber, Adriano Castro, Hannes Hartenstein

Proceedings of the 24th International Middleware Conference Demos, 2023

2022

Grasping the Concept of Decentralized Systems for Instant Messaging.

Luisa Gebhardt, Marc Leinweber, Florian Jacob, Hannes Hartenstein

Proceedings of the WiPSCE '22: The 17th Workshop in Primary and Secondary Computing Education, Morschach, Switzerland, 31 October 2022, 2022

2021

Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.

Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert

Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021

2019

Banklaves: Concept for a Trustworthy Decentralized Payment Service for Bitcoin.

Matthias Grundmann, Marc Leinweber, Hannes Hartenstein

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

TEE-Based Distributed Watchtowers for Fraud Protection in the Lightning Network.

Marc Leinweber, Matthias Grundmann, Leonard Schönborn, Hannes Hartenstein

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2019

2018

Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching.

Marc Leinweber, Hannes Hartenstein, Philipp Andelfinger

CoRR, 2018