TY  - RPRT
TI  - Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
AU  - Ben Weintraub
AU  - Satwik Prabhu Kumble
AU  - Cristina Nita-Rotaru
AU  - Stefanie Roos
PY  - 2024
UR  - https://arxiv.org/abs/2405.02147
ID  - 2405.02147
ER  -