Dr.-Ing. Marc Leinweber
- Scientific staff member
by appointment
114 (Geb. 20.50)
+49 721 608-45783
marc leinweber ∂does-not-exist.kit edu
@vo5598:kit.edu
Karlsruhe Institute of Technology (KIT)
Institute of Information Security and Dependability (KASTEL)
Decentralized Systems and Network
Services Research Group (DSN)
Bldg. 20.50
Engesserstr. 2
76131 Karlsruhe
Germany
Marc Leinweber
Personal Information
After receiving my master's degree in computer science at Karlsruhe Institute of Technology (KIT) in November 2017, I started working as a scientific staff member at the Decentralized Systems and Network Services Research Group at the Institute of Telematics. During my studies, I specialized in telematics, parallel computing and IT security. Besides my studies, I worked as a tutor in the algorithms lecture. My fields of interest are:
- Trusted Execution Environments and trust modeling in decentralized systems
- Consensus mechanisms in decentralized systems
- Performance and security analysis of decentralized systems
CV
| 10/2019 - 11/2021 | Representative of the scientific staff in the KIT Senate |
| since 11/2017 | Scientific staff member at Distributed Systems and Network Services Research Group, Institute of Information Security and Dependability (previously Institute of Telematics) |
| 04/2016 - 11/2017 | Master of Science at Karlsruhe Institute of Technology. Thesis: "Design and Performance Analysis of Batched Event Execution in Discrete Event Simulations" at Distributed Systems and Network Services Research Group |
| 04/2013 - 07/2017 | Tutor in Algorithms I at KIT Department of Informatics |
| 10/2012 - 04/2016 | Bachelor of Science in Computer Science at Karlsruhe Institute of Technology. Thesis: "Generierung konsistenter Workloads für das sichere Teilen von Daten" at Distributed Systems and Network Services Research Group |
| 06/2012 | Abitur at Ferdinand-Braun-Schule, Fulda |
TEE-Based Distributed Ledgers and Their Resilience. PhD dissertation
Leinweber, M.
2026, January 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000189670
Leinweber, M.
2026, January 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000189670
ABCperf Project
Spannagel, T.; Leinweber, M.; Castro, A.; Stoyan, B.; Teichmann, C.
2025, August 29. doi:10.5281/zenodo.10081841
Spannagel, T.; Leinweber, M.; Castro, A.; Stoyan, B.; Teichmann, C.
2025, August 29. doi:10.5281/zenodo.10081841
Not eXactly Byzantine: Efficient and Resilient TEE-Based State Machine Replication
Leinweber, M.; Hartenstein, H.
2025. arxiv. doi:10.48550/arXiv.2501.11051
Leinweber, M.; Hartenstein, H.
2025. arxiv. doi:10.48550/arXiv.2501.11051
ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract
Spannagel, T.; Leinweber, M.; Castro, A.; Hartenstein, H.
2023. Proceedings of the 24th International Middleware Conference Demos, Posters and Doctoral Symposium, 35–36, Association for Computing Machinery (ACM). doi:10.1145/3626564.3629101
Spannagel, T.; Leinweber, M.; Castro, A.; Hartenstein, H.
2023. Proceedings of the 24th International Middleware Conference Demos, Posters and Doctoral Symposium, 35–36, Association for Computing Machinery (ACM). doi:10.1145/3626564.3629101
Investigating the Role of Computing Education for Informed Usage Decision-Making
Gebhardt, L.; Leinweber, M.; Michaeli, T.
2023. WiPSCE ’23: The 18th WiPSCE Conference on Primary and Secondary Computing Education Research Cambridge United Kingdom September 27 - 29, 2023. Ed.: S. Sentance, 1–2, Association for Computing Machinery (ACM). doi:10.1145/3605468.3609776
Gebhardt, L.; Leinweber, M.; Michaeli, T.
2023. WiPSCE ’23: The 18th WiPSCE Conference on Primary and Secondary Computing Education Research Cambridge United Kingdom September 27 - 29, 2023. Ed.: S. Sentance, 1–2, Association for Computing Machinery (ACM). doi:10.1145/3605468.3609776
Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f + 1
Leinweber, M.; Hartenstein, H.
2023. doi:10.48550/arXiv.2305.06123
Leinweber, M.; Hartenstein, H.
2023. doi:10.48550/arXiv.2305.06123
Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1
Leinweber, M.; Hartenstein, H.
2023. 37th International Symposium on Distributed Computing (DISC 2023). Ed.: R. Oshman, 43:1–43:7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.DISC.2023.43
Leinweber, M.; Hartenstein, H.
2023. 37th International Symposium on Distributed Computing (DISC 2023). Ed.: R. Oshman, 43:1–43:7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/LIPIcs.DISC.2023.43
Grasping the Concept of Decentralized Systems for Instant Messaging
Gebhardt, L.; Leinweber, M.; Jacob, F.; Hartenstein, H.
2022. Proceedings of the 17th Workshop in Primary and Secondary Computing Education, Art.-Nr. 10, Association for Computing Machinery (ACM). doi:10.1145/3556787.3556864
Gebhardt, L.; Leinweber, M.; Jacob, F.; Hartenstein, H.
2022. Proceedings of the 17th Workshop in Primary and Secondary Computing Education, Art.-Nr. 10, Association for Computing Machinery (ACM). doi:10.1145/3556787.3556864
Leveraging Distributed Ledger Technology for Decentralized Mobility-as-a-Service Ticket Systems
Leinweber, M.; Kannengießer, N.; Hartenstein, H.; Sunyaev, A.
2022. Towards the New Normal in Mobility : Technische und betriebswirtschaftliche Aspekte. Hrsg.: H. Proff, 547–567, Springer Fachmedien Wiesbaden. doi:10.1007/978-3-658-39438-7_32
Leinweber, M.; Kannengießer, N.; Hartenstein, H.; Sunyaev, A.
2022. Towards the New Normal in Mobility : Technische und betriebswirtschaftliche Aspekte. Hrsg.: H. Proff, 547–567, Springer Fachmedien Wiesbaden. doi:10.1007/978-3-658-39438-7_32
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control
Schiffl, J.; Grundmann, M.; Leinweber, M.; Stengele, O.; Friebe, S.; Beckert, B.
2021. SACMAT ’21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 125–130, Association for Computing Machinery (ACM). doi:10.1145/3450569.3463574
Schiffl, J.; Grundmann, M.; Leinweber, M.; Stengele, O.; Friebe, S.; Beckert, B.
2021. SACMAT ’21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 125–130, Association for Computing Machinery (ACM). doi:10.1145/3450569.3463574
TEE-based distributed watchtowers for fraud protection in the Lightning Network
Leinweber, M.; Grundmann, M.; Schönborn, L.; Hartenstein, H.
2019. Data privacy management, cryptocurrencies and blockchain technology. Ed.: C. Pérez-Solà, 177–194, Springer Nature. doi:10.1007/978-3-030-31500-9_11
Leinweber, M.; Grundmann, M.; Schönborn, L.; Hartenstein, H.
2019. Data privacy management, cryptocurrencies and blockchain technology. Ed.: C. Pérez-Solà, 177–194, Springer Nature. doi:10.1007/978-3-030-31500-9_11
Banklaves: Concept for a Trustworthy Decentralized Payment Service for Bitcoin
Grundmann, M.; Leinweber, M.; Hartenstein, H.
2019. Proceedings of 1st IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2019), Seoul, Südkorea, 14 - 17 Mai 2019, 268–276, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BLOC.2019.8751394
Grundmann, M.; Leinweber, M.; Hartenstein, H.
2019. Proceedings of 1st IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2019), Seoul, Südkorea, 14 - 17 Mai 2019, 268–276, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/BLOC.2019.8751394
Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching
Leinweber, M.; Hartenstein, H.; Andelfinger, P.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000082690
Leinweber, M.; Hartenstein, H.; Andelfinger, P.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000082690
Lectures:
- Access Control Systems (summer 2018, summer 2019, summer 2020, summer 2021, summer 2022, summer 2023)
- Selected Topics for Teacher Eduaction in Informatics (winter 2018/19, winter 2019/20, winter 2020/21, winter 2022/23)
- IT Security Management for Networked Systems (winter 2017/18)
Seminars:
- SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit (summer 2018)
- Hot Topics in Decentralized Systems (summer 2019, summer 2020, summer 2021)
Labs:
- Software Engineering Practice (computer science) (summer 2020, summer 2022)
- Team Project Software Development (information science) (summer 2021)
- Access Control Systems Lab (summer 2020, winter 2020/21, summer 2021)