Dr. Matthias Grundmann
- Scientific staff member
by appointment
126 (Geb. 50.34)
+49 721 608-45784
matthias grundmann ∂does-not-exist.kit edu
Personal Information
After graduating from Karlsruhe Institute of Technology with a Master's degree in Computer Science, I work since February 2018 with the research group "Decentralized Systems and Network Services" of Prof. Hartenstein. Currently I work on methods for topology inference in peer-to-peer networks at the example of Bitcoin as well as payment channel networks as an idea to solve the problem of scaling crypto currencies such as Bitcoin.
CV
| since 02/2018 | Scientific staff member at Decentralized Systems and Network Services Research Group, Karlsruhe Institute for Technology |
| 10/2014 - 01/2018 | Master of Science in Computer Science at Karlsruhe Institute of Technology |
| 11/2013 - 03/2014 | Bachelor's thesis at Carnegie Mellon University, USA in the course of InterACT exchange program |
| 10/2010 - 09/2014 | Bachelor of Science in Computer Science at Karlsruhe Institute of Technology |
Publications
Security Aspects of Payment Channel Networks. PhD 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, February 10. 24th International Conference "Financial Cryptography and Data Security" (2020), Shangri-La Tanjung, February 10–14, 2020
Grundmann, M.; Hartenstein, H.
2020, February 10. 24th International Conference "Financial Cryptography and Data Security" (2020), Shangri-La Tanjung, February 10–14, 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