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

Conference on Computer and Communications Security (CCS), 2024

3 May 2024

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

2 / 2 papers shown

Title
Model Checking the Security of the Lightning Network Matthias Grundmann Hannes Hartenstein 121 0 0 21 May 2025
SoK: Payment Channel Networks Kartick Kolachala Mohammed Ababneh Roopa Vishwanathan 123 1 0 30 Jul 2024