Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network

3 May 2024

Papers citing "Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network"

3 / 3 papers shown

Title
Model Checking the Security of the Lightning Network Matthias Grundmann Hannes Hartenstein 12 0 0 21 May 2025
SoK: Payment Channel Networks Kartick Kolachala Mohammed Ababneh Roopa Vishwanathan 24 0 0 30 Jul 2024
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols Sophie Rain Zeta Avarikioti Laura Kovács Matteo Maffei AAML 26 14 0 15 Sep 2021