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

Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru, Stefanie Roos

Browse the full CCS paper archive.