:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Torres, Christof Ferreira, Mamuti, Albin, Weintraub, Ben, Nita-Rotaru, Cristina, Shinde, Shweta
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2405.00138
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
by: Weintraub, Ben, et al.
Published: (2024)

Cross-Rollup MEV: Non-Atomic Arbitrage Across L2 Blockchains
by: Gogol, Krzysztof, et al.
Published: (2024)

When Priority Fails: Revert-Based MEV on Fast-Finality Rollups
by: Gogol, Krzysztof, et al.
Published: (2025)

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

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

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

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

OpenCCA: An Open Framework to Enable Arm CCA Research
by: Bertschi, Andrin, et al.
Published: (2025)

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

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

Cross-Chain Arbitrage: The Next Frontier of MEV in Decentralized Finance
by: Öz, Burak, et al.
Published: (2025)

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

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

Analyzing the Impact of Copying-and-Pasting Vulnerable Solidity Code Snippets from Question-and-Answer Websites
by: Weiss, Konrad, et al.
Published: (2024)

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

Dorami: Privilege Separating Security Monitor on RISC-V TEEs
by: Kuhne, Mark, et al.
Published: (2024)

TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
by: Wen, Xiaoqing, et al.
Published: (2024)

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)

The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on Rollup Performance and Cost Efficiency
by: Gogol, Krzysztof, et al.
Published: (2024)

Data Availability and Decentralization: New Techniques for zk-Rollups in Layer 2 Blockchain Networks
by: Huang, Chengpeng, et al.
Published: (2024)

MEV in Binance Builder
by: Wang, Qin, et al.
Published: (2026)

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

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals
by: Sridhara, Supraja, et al.
Published: (2024)

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP
by: Schlüter, Benedict, et al.
Published: (2024)

A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain
by: Öz, Burak, et al.
Published: (2023)

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

A theoretical basis for MEV
by: Bartoletti, Massimo, et al.
Published: (2023)

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

The Express Lane to Spam and Centralization: An Empirical Analysis of Arbitrum's Timeboost
by: Messias, Johnnatan, et al.
Published: (2025)

Proof of Diligence: Cryptoeconomic Security for Rollups
by: Sheng, Peiyao, et al.
Published: (2024)

Heckler: Breaking Confidential VMs with Malicious Interrupts
by: Schlüter, Benedict, et al.
Published: (2024)

Analyzing Performance Bottlenecks in Zero-Knowledge Proof Based Rollups on Ethereum
by: Habib, Md. Ahsan
Published: (2025)

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Private, Anonymous, Collateralizable Commitments vs. MEV
by: McMenamin, Conor, et al.
Published: (2023)

DeFi composability as MEV non-interference
by: Bartoletti, Massimo, et al.
Published: (2023)

A Public Dataset For the ZKsync Rollup
by: Silva, Maria Inês, et al.
Published: (2024)

The Future of MEV
by: Burian, Jonah
Published: (2024)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2025)