Dr. Matthias Grundmann
- Wissenschaftlicher Mitarbeiter
nach Vereinbarung
126 (Geb. 50.34)
+49 721 608-45784
matthias grundmann ∂does-not-exist.kit edu
Zur Person
Nach meinem Informatikstudium am Karlsruher Institut für Technologie arbeite ich seit Februar 2018 in der Forschungsgruppe Dezentrale Systeme und Netzdienste von Prof. Hartenstein. Neben der Suche nach Methoden zur Topologieinferenz in P2P-Netzen am Beispiel von Bitcoin beschäftige ich mich auch mit der Idee von Payment Channel Networks als Skalierungsmöglichkeit für Kryptowährungen wie Bitcoin.
Lebenslauf
| seit 02/2018 | Wissenschaftlicher Mitarbeiter in der Forschungsgruppe Dezentrale Systeme und Netzdienste, Karlsruher Institut für Technologie |
| 10/2014 - 01/2018 | Studium Informatik (Master) am Karlsruher Institut für Technologie |
| 11/2013 - 03/2014 | Bachelorarbeit an der Carnegie Mellon University, USA im Rahmen des InterACT Austauschprogramms |
| 10/2010 - 09/2014 | Studium Informatik (Bachelor) am Karlsruher Institut für Technologie |
Security Aspects of Payment Channel Networks. Dissertation
Grundmann, M. A.
2026, September 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000197122
Grundmann, M. A.
2026, September 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000197122
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+
Grundmann, M.; Hartenstein, H.
2026. Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, 313–335, Springer. doi:10.1007/978-3-032-10794-7_16
Grundmann, M.; Hartenstein, H.
2026. Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, 313–335, Springer. doi:10.1007/978-3-032-10794-7_16
Towards a Formal Verification of the Lightning Network with TLA+
Grundmann, M.; Hartenstein, H.
2023. doi:10.5445/IR/1000160211
Grundmann, M.; Hartenstein, H.
2023. doi:10.5445/IR/1000160211
On the Applicability of Payment Channel Networks for Allocation of Transport Ticket Revenues
Grundmann, M.; von Zastrow-Marcks, O.; Hartenstein, H.
2022. Proceedings - International Conference on Computer Communications and Networks, ICCCN : 31st International Conference on Computer Communications and Networks, ICCCN 2022, Virtual, Online, 25 - 28 July 2022, 7 S., Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCCN54977.2022.9868881
Grundmann, M.; von Zastrow-Marcks, O.; Hartenstein, H.
2022. Proceedings - International Conference on Computer Communications and Networks, ICCCN : 31st International Conference on Computer Communications and Networks, ICCCN 2022, Virtual, Online, 25 - 28 July 2022, 7 S., Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCCN54977.2022.9868881
Verifying Payment Channels with TLA+
Grundmann, M.; Hartenstein, H.
2022. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2nd –5th May 2022, Virtual Conference, 1–3, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC54727.2022.9805487
Grundmann, M.; Hartenstein, H.
2022. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2nd –5th May 2022, Virtual Conference, 1–3, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC54727.2022.9805487
On the Peer Degree Distribution of the Bitcoin P2P Network
Grundmann, M.; Baumstark, M.; Hartenstein, H.
2022. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2nd –5th May 2022, Virtual Conference, 1–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC54727.2022.9805511
Grundmann, M.; Baumstark, M.; Hartenstein, H.
2022. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2nd –5th May 2022, Virtual Conference, 1–5, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICBC54727.2022.9805511
Decentralizing Watchtowers for Payment Channels using IPFS
Bonisch, H.; Grundmann, M.
2022. 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW), 27–32, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDCSW56584.2022.00015
Bonisch, H.; Grundmann, M.
2022. 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops (ICDCSW), 27–32, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICDCSW56584.2022.00015
Short Paper: What Peer Announcements Tell Us About the Size of the Bitcoin P2P Network
Grundmann, M.; Amberg, H.; Baumstark, M.; Hartenstein, H.
2022. Financial Cryptography and Data Security – 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers. Ed.: I. Eyal, 694–704, Springer International Publishing. doi:10.1007/978-3-031-18283-9_35
Grundmann, M.; Amberg, H.; Baumstark, M.; Hartenstein, H.
2022. Financial Cryptography and Data Security – 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers. Ed.: I. Eyal, 694–704, Springer International Publishing. doi:10.1007/978-3-031-18283-9_35
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
On the Estimation of the Number of Unreachable Peers in the Bitcoin P2P Network by Observation of Peer Announcements
Grundmann, M.; Amberg, H.; Hartenstein, H.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130078
Grundmann, M.; Amberg, H.; Hartenstein, H.
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000130078
Do Payment Channel Networks Need a Blockchain? - Rethinking Blockchain Layers
Grundmann, M.; Hartenstein, H.
2020, Februar 10. 24th International Conference "Financial Cryptography and Data Security" (2020), Shangri-La Tanjung, 10.–14. Februar 2020
Grundmann, M.; Hartenstein, H.
2020, Februar 10. 24th International Conference "Financial Cryptography and Data Security" (2020), Shangri-La Tanjung, 10.–14. Februar 2020
Fundamental Properties of the Layer Below a Payment Channel Network
Grundmann, M.; Hartenstein, H.
2020. Data Privacy Management, Cryptocurrencies and Blockchain Technology – ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17–18, 2020, Revised Selected Papers. Ed.: J. Garcia-Alfaro, 409–420, Springer International Publishing. doi:10.1007/978-3-030-66172-4_26
Grundmann, M.; Hartenstein, H.
2020. Data Privacy Management, Cryptocurrencies and Blockchain Technology – ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17–18, 2020, Revised Selected Papers. Ed.: J. Garcia-Alfaro, 409–420, Springer International Publishing. doi:10.1007/978-3-030-66172-4_26
Exploiting Transaction Accumulation and Double Spends for Topology Inference in Bitcoin
Grundmann, M.; Neudecker, T.; Hartenstein, H.
2019. Financial Cryptography and Data Security : FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, (FC 2018), Nieuwpoort, CU, March 2, 2018. Ed.: A. Zohar, 113–126, Springer-Verlag. doi:10.1007/978-3-662-58820-8_9
Grundmann, M.; Neudecker, T.; Hartenstein, H.
2019. Financial Cryptography and Data Security : FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, (FC 2018), Nieuwpoort, CU, March 2, 2018. Ed.: A. Zohar, 113–126, Springer-Verlag. doi:10.1007/978-3-662-58820-8_9
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