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

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

Conference on Computer and Communications Security (CCS), 2024
Ben Weintraub
Satwik Prabhu Kumble
Cristina Nita-Rotaru
Stefanie Roos
ArXiv (abs)PDFHTML

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
Model Checking the Security of the Lightning Network
Matthias Grundmann
Hannes Hartenstein
113
0
0
21 May 2025
SoK: Payment Channel Networks
SoK: Payment Channel Networks
Kartick Kolachala
Mohammed Ababneh
Roopa Vishwanathan
119
1
0
30 Jul 2024

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.