:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Weintraub, Ben, Kumble, Satwik Prabhu, Nita-Rotaru, Cristina, Roos, Stefanie
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2405.02147
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
by: Ginesin, Jacob, et al.
Published: (2024)

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

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

Automated Channel Fault Analysis with Tofu
by: Ginesin, Jacob, et al.
Published: (2026)

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

Cross-Service Token: Finding Attacks in 5G Core Networks
by: Chen, Anqi, et al.
Published: (2025)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
by: Mallick, Tushin, et al.
Published: (2025)

SAGA: A Security Architecture for Governing AI Agentic Systems
by: Syros, Georgios, et al.
Published: (2025)

ACE: A Security Architecture for LLM-Integrated App Systems
by: Li, Evan, et al.
Published: (2025)

Quantum-Resistant Networks: A Review of Primitives, Protocols and Best Practices
by: Bertino, Elisa, et al.
Published: (2026)

MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security
by: Avizheh, Sepideh, et al.
Published: (2026)

Attacks and Mitigations for Distributed Governance of Agentic AI under Byzantine Adversaries
by: Laws, Matthew D., et al.
Published: (2026)

A Formally Verified Lightning Network
by: Fabiański, Grzegorz, et al.
Published: (2025)

Backdoor Attacks in Peer-to-Peer Federated Learning
by: Syros, Georgios, et al.
Published: (2023)

Model Checking the Security of the Lightning Network
by: Grundmann, Matthias, et al.
Published: (2025)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
by: Singh, Vikash, et al.
Published: (2025)

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

DROP: Poison Dilution via Knowledge Distillation for Federated Learning
by: Syros, Georgios, et al.
Published: (2025)

Security Concerns in Quantum Machine Learning as a Service
by: Kundu, Satwik, et al.
Published: (2024)

OTS-PC: OTS-based Payment Channels for the Lightning Network
by: Lerner, Sergio Demian, et al.
Published: (2025)

Tyche: Collateral-Free Coalition-Resistant Multiparty Lotteries with Arbitrary Payouts
by: Kniep, Quentin, et al.
Published: (2024)

Topology and Network Dynamics of the Lightning Network: A Comprehensive Analysis
by: Valko, Danila, et al.
Published: (2025)

AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning
by: Gohil, Vasudev, et al.
Published: (2024)

Formal Security Analysis of the AMD SEV-SNP Software Interface
by: Paradžik, Petar, et al.
Published: (2024)

Benchmarking GNNs Using Lightning Network Data
by: Feichtinger, Rainer, et al.
Published: (2024)

Runtime Stealthy Perception Attacks against DNN-based Adaptive Cruise Control Systems
by: Zhou, Xugui, et al.
Published: (2023)

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

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

Evaluating Efficacy of Model Stealing Attacks and Defenses on Quantum Neural Networks
by: Kundu, Satwik, et al.
Published: (2024)

Mass Exit Attacks on the Lightning Network
by: Sguanci, Cosimo, et al.
Published: (2022)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
by: Ding, Wanning, et al.
Published: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Phantom: General Backdoor Attacks on Retrieval Augmented Language Generation
by: Chaudhari, Harsh, et al.
Published: (2024)

The Adaptive Arms Race: Redefining Robustness in AI Security
by: Tsingenopoulos, Ilias, et al.
Published: (2023)

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

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

A Framework for Formalizing LLM Agent Security
by: Siu, Vincent, et al.
Published: (2026)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Formally-verified Security against Forgery of Remote Attestation using SSProve
by: Zain, Sara, et al.
Published: (2025)

Adversarial Threats in Quantum Machine Learning: A Survey of Attacks and Defenses
by: Ghosh, Archisman, et al.
Published: (2025)