Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Weintraub, Ben, Kumble, Satwik Prabhu, Nita-Rotaru, Cristina, Roos, Stefanie
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
von: Ginesin, Jacob, et al.
Veröffentlicht: (2024)

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
von: Torres, Christof Ferreira, et al.
Veröffentlicht: (2024)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
von: Ginesin, Jacob, et al.
Veröffentlicht: (2024)

Quantum Disruption: An SOK of How Post-Quantum Attackers Reshape Blockchain Security and Performance
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)

Automated Channel Fault Analysis with Tofu
von: Ginesin, Jacob, et al.
Veröffentlicht: (2026)

Cross-Service Token: Finding Attacks in 5G Core Networks
von: Chen, Anqi, et al.
Veröffentlicht: (2025)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
von: Mallick, Tushin, et al.
Veröffentlicht: (2025)

ACE: A Security Architecture for LLM-Integrated App Systems
von: Li, Evan, et al.
Veröffentlicht: (2025)

SAGA: A Security Architecture for Governing AI Agentic Systems
von: Syros, Georgios, et al.
Veröffentlicht: (2025)

Quantum-Resistant Networks: A Review of Primitives, Protocols and Best Practices
von: Bertino, Elisa, et al.
Veröffentlicht: (2026)

A Formally Verified Lightning Network
von: Fabiański, Grzegorz, et al.
Veröffentlicht: (2025)

MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security
von: Avizheh, Sepideh, et al.
Veröffentlicht: (2026)

Attacks and Mitigations for Distributed Governance of Agentic AI under Byzantine Adversaries
von: Laws, Matthew D., et al.
Veröffentlicht: (2026)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
von: Singh, Vikash, et al.
Veröffentlicht: (2025)

Backdoor Attacks in Peer-to-Peer Federated Learning
von: Syros, Georgios, et al.
Veröffentlicht: (2023)

Model Checking the Security of the Lightning Network
von: Grundmann, Matthias, et al.
Veröffentlicht: (2025)

OTS-PC: OTS-based Payment Channels for the Lightning Network
von: Lerner, Sergio Demian, et al.
Veröffentlicht: (2025)

Tyche: Collateral-Free Coalition-Resistant Multiparty Lotteries with Arbitrary Payouts
von: Kniep, Quentin, et al.
Veröffentlicht: (2024)

Security Concerns in Quantum Machine Learning as a Service
von: Kundu, Satwik, et al.
Veröffentlicht: (2024)

MUZZLE: Adaptive Agentic Red-Teaming of Web Agents Against Indirect Prompt Injection Attacks
von: Syros, Georgios, et al.
Veröffentlicht: (2026)

Topology and Network Dynamics of the Lightning Network: A Comprehensive Analysis
von: Valko, Danila, et al.
Veröffentlicht: (2025)

DROP: Poison Dilution via Knowledge Distillation for Federated Learning
von: Syros, Georgios, et al.
Veröffentlicht: (2025)

Formal Security Analysis of the AMD SEV-SNP Software Interface
von: Paradžik, Petar, et al.
Veröffentlicht: (2024)

AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning
von: Gohil, Vasudev, et al.
Veröffentlicht: (2024)

Benchmarking GNNs Using Lightning Network Data
von: Feichtinger, Rainer, et al.
Veröffentlicht: (2024)

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
von: Golaszewski, Enis, et al.
Veröffentlicht: (2025)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
von: Figge, Julius, et al.
Veröffentlicht: (2026)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
von: Ding, Wanning, et al.
Veröffentlicht: (2024)

BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
von: Guo, Yitong, et al.
Veröffentlicht: (2025)

Mass Exit Attacks on the Lightning Network
von: Sguanci, Cosimo, et al.
Veröffentlicht: (2022)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
von: Antón, Anna Lena Duque, et al.
Veröffentlicht: (2024)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
von: Jain, Racchit, et al.
Veröffentlicht: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
von: Zain, Sara, et al.
Veröffentlicht: (2025)

Evaluating Efficacy of Model Stealing Attacks and Defenses on Quantum Neural Networks
von: Kundu, Satwik, et al.
Veröffentlicht: (2024)

The Adaptive Arms Race: Redefining Robustness in AI Security
von: Tsingenopoulos, Ilias, et al.
Veröffentlicht: (2023)

A Framework for Formalizing LLM Agent Security
von: Siu, Vincent, et al.
Veröffentlicht: (2026)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
von: Bettinger, Matthieu, et al.
Veröffentlicht: (2025)

CCN: Decentralized Cross-Chain Channel Networks Supporting Secure and Privacy-Preserving Multi-Hop Interactions
von: Xu, Minghui, et al.
Veröffentlicht: (2025)

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
von: Basile, Cataldo, et al.
Veröffentlicht: (2024)

Formal Verification of Secure Encrypted Virtualization
von: Weerasena, Hansika, et al.
Veröffentlicht: (2026)