3 citations · 7 across the 5 of their papers we have counts for
5 papers
Model Checking the Security of the Lightning Network
Matthias Grundmann, Hannes Hartenstein
Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. The Lightning Network is a payment channel network built for Bitcoin that…
Towards a Formal Verification of the Lightning Network with TLA+
Matthias Grundmann, Hannes Hartenstein
Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. Because payment channel networks are used for transfer of financial value,…
Estimating the Peer Degree of Reachable Peers in the Bitcoin P2P Network
Matthias Grundmann, Max Baumstark, Hannes Hartenstein
A recent spam wave of IP addresses in the Bitcoin P2P network allowed us to estimate the degree distribution of reachable peers in the network. The resulting distribution shows tha…
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
Bitcoin is based on a P2P network that is used to propagate transactions and blocks. While the P2P network design intends to hide the topology of the P2P network, information about…
Fundamental Properties of the Layer Below a Payment Channel Network (Extended Version)
Matthias Grundmann, Hannes Hartenstein
Payment channel networks are a highly discussed approach for improving scalability of cryptocurrencies such as Bitcoin. As they allow processing transactions off-chain, payment cha…