Marc Leinweber, M.Sc.
- Wissenschaftlicher Mitarbeiter
nach Vereinbarung
114 (Geb. 20.50)
+49 721 608-45783
marc leinweber ∂does-not-exist.kit edu
Karlsruher Institut für Technologie (KIT)
Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Dezentrale Systeme und Netzdienste (DSN)
Geb. 20.50
Engesserstr. 2
76131 Karlsruhe
Deutschland[m] @vo5598:kit.edu
S/MIME (KIT-CA)
Marc Leinweber
Kurzvita
Nach erfolgreichem Abschlusses meines Studiums der Informatik am Karlsruher Institut für Technologie mit dem Abschluss Master of Science arbeite ich seit November 2017 in der Forschungsgruppe Dezentrale Systeme und Netzdienste am Institut für Telematik als wissenschaftlicher Mitarbeiter. Im Studium vertiefte ich mich in Telematik, Parallelverarbeitung und Sicherheit. Während meines Studiums arbeitete ich als Tutor im Fach Algorithmen I für die KIT-Fakultät für Informatik und als Teamleiter IT für ein mittelständisches Unternehmen. Zu meinen Forschungsinteressen gehören:
- Trusted Execution Environments und Vertrauensmodellierung in dezentralen Systemen
- Konsensmechanismen in dezentralen Systemen
- Performanz- und Sicherheitsanalyse dezentraler Systeme
Lebenslauf
| 10/2019 - 11/2021 | Vertreter der akademischen Mitarbeitenden im KIT-Senat |
| seit 11/2017 | Wissenschaftlicher Mitarbeiter am Institut für Informationssicherheit und Verlässlichkeit (bis 2020 Institut für Telematik), Forschungsgruppe Dezentrale Systeme und Netzdienste |
| 04/2016 - 11/2017 | Studium der Informatik (M.Sc.) am Karlsruher Institut für Technologie. Abschlussarbeit: „Design and Performance Analysis of Batched Event Execution in Discrete Event Simulations“ bei der Forschungsgruppe Dezentrale Systeme und Netzdienste |
| 04/2013 - 07/2017 | Tutor (Studentische Hilfskraft) der Pflichtvorlesung Algorithmen I der KIT-Fakultät für Informatik |
| 10/2012 - 04/2016 | Studium der Informatik (B.Sc.) am Karlsruher Institut für Technologie. Abschlussarbeit: „Generierung konsistenter Workloads für das sichere Teilen von Daten“ bei der Forschungsgruppe Dezentrale Systeme und Netzdienste |
| 06/2012 | Abitur an der Ferdinand-Braun-Schule, Fulda |
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
Vorlesungen:
- Access Control Systems (SS 2018, SS 2019, SS 2020, SS 2021, SS 2022, SS 2023)
- Ausgewählte Themen für das Informatik-Lehramt (WS 2018/19, WS 2019/20, WS 2020/21, WS 2022/23)
- IT-Sicherheitsmanagement für vernetzte Systeme (WS 2017/18)
Seminare:
- SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit (SS 2018)
- Hot Topics in Decentralized Systems (SS 2019, SS 2020, SS 2021)
Praktika:
- Praxis der Softwareentwicklung (Informatik) (SS 2020, SS 2022)
- Teamprojekt Softwareentwicklung (Wirtschaftsinformatik) (SS 2021)
- Praktikum Access Control Systems (SS 2020, WS 2020/21, SS 2021, SS 2022)