Matthias Grundmann

According to our database, Matthias Grundmann authored at least 19 papers between 2015 and 2025.

Collaborative distances:

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

2025

TLA+ Specification of Lightning, Security Property, and Refinement Mappings.

Matthias Grundmann, Hannes Hartenstein

Dataset, September, 2025

TLA+ Specification of Lightning, Security Property, and Refinement Mappings.

Matthias Grundmann, Hannes Hartenstein

Dataset, August, 2025

Model Checking the Security of the Lightning Network.

Matthias Grundmann, Hannes Hartenstein

CoRR, May, 2025

Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA⁺.

Matthias Grundmann, Hannes Hartenstein

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2023

Towards a Formal Verification of the Lightning Network with TLA+.

Matthias Grundmann, Hannes Hartenstein

CoRR, 2023

2022

Decentralizing Watchtowers for Payment Channels using IPFS.

Hannes Bönisch, Matthias Grundmann

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

On the Applicability of Payment Channel Networks for Allocation of Transport Ticket Revenues.

Matthias Grundmann, Otto von Zastrow-Marcks, Hannes Hartenstein

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

Verifying Payment Channels with TLA⁺.

Matthias Grundmann, Hannes Hartenstein

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

On the Peer Degree Distribution of the Bitcoin P2P Network.

Matthias Grundmann, Max Baumstark, Hannes Hartenstein

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

Short Paper: What Peer Announcements Tell Us About the Size of the Bitcoin P2P Network.

Matthias Grundmann, Hedwig Amberg, Max Baumstark, Hannes Hartenstein

Proceedings of the Financial Cryptography and Data Security, 2022

2021

Estimating the Node Degree of Public Peers and Detecting Sybil Peers Based on Address Messages in the Bitcoin P2P Network.

Matthias Grundmann, Max Baumstark

CoRR, 2021

On the Estimation of the Number of Unreachable Peers in the Bitcoin P2P Network by Observation of Peer Announcements.

Matthias Grundmann, Hedwig Amberg, Hannes Hartenstein

CoRR, 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

2020

Fundamental Properties of the Layer Below a Payment Channel Network (Extended Version).

Matthias Grundmann, Hannes Hartenstein

CoRR, 2020

Fundamental Properties of the Layer Below a Payment Channel Network.

Matthias Grundmann, Hannes Hartenstein

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

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

Exploiting Transaction Accumulation and Double Spends for Topology Inference in Bitcoin.

Matthias Grundmann, Till Neudecker, Hannes Hartenstein

Proceedings of the Financial Cryptography and Data Security, 2018

2015

Bitcoin Peer-To-Peer Network Monitoring.

Till Neudecker, Matthias Grundmann, Hannes Hartenstein

Dataset, 2015