Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2103.08436
Cited By
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
15 March 2021
P. Modesti
S. F. Shahandashti
Patrick McCorry
Feng Hao
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Modelling and Security Analysis of Bitcoin's Payment Protocol"
1 / 1 papers shown
Title
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
Ben Weintraub
Satwik Prabhu Kumble
Cristina Nita-Rotaru
Stefanie Roos
52
4
0
03 May 2024
1
