Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network.
Ben WeintraubSatwik Prabhu KumbleCristina Nita-RotaruStefanie RoosPublished in: CoRR (2024)
Keyphrases
- formal analysis
- ban logic
- computer networks
- network resources
- formal methods
- security threats
- network management
- network structure
- communication channels
- network security
- agent model
- artificial intelligence
- network traffic
- intrusion detection
- cyber attacks
- natural language
- security measures
- virtual private network
- information security
- model checking
- low cost
- traffic congestion
- case study