:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ginesin, Jacob, von Hippel, Max, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2403.05663
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

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

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

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

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

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

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

MUZZLE: Adaptive Agentic Red-Teaming of Web Agents Against Indirect Prompt Injection Attacks
by: Syros, Georgios, 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)

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

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

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)

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

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

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

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
by: Dorfhuber, Florian, et al.
Published: (2024)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
by: Li, Hongwei, et al.
Published: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
by: Deutschmann, Lucas, et al.
Published: (2023)

Formal Verification for Blockchain-based Insurance Claims Processing
by: Neupane, Roshan Lal, et al.
Published: (2024)

Towards System-Oriented Formal Verification of Local-First Access Control
by: Jacob, Florian, et al.
Published: (2026)

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

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

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

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Introducing a New Alert Data Set for Multi-Step Attack Analysis
by: Landauer, Max, et al.
Published: (2023)

BadPatches: Routing-aware Backdoor Attacks on Vision Mixture of Experts
by: Chan, Cedric, et al.
Published: (2025)

SwitchPatch: Physical Adversarial Attack Strategy with Switchable Adversarial Objectives
by: Jiang, Hanrui, et al.
Published: (2025)

Defensive Prompt Patch: A Robust and Interpretable Defense of LLMs against Jailbreak Attacks
by: Xiong, Chen, et al.
Published: (2024)

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

Exploring the Robustness and Transferability of Patch-Based Adversarial Attacks in Quantized Neural Networks
by: Guesmi, Amira, et al.
Published: (2024)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

PrismWF: A Multi-Granularity Patch-Based Transformer for Robust Website Fingerprinting Attack
by: Pan, Yuhao, et al.
Published: (2026)

Automated Formal Verification of a Software Fault Isolation System
by: Sotoudeh, Matthew, et al.
Published: (2025)

Rethinking Model Inversion Attacks With Patch-Wise Reconstruction
by: Jang, Jonggyu, et al.
Published: (2023)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)