Cover Image

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dorfhuber, Florian, Eisentraut, Julia, Klioba, Katharina, Kretinsky, Jan
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

DoS Attacks and Defense Technologies in Blockchain Systems: A Hierarchical Analysis
by: Zhang, Chunyi, et al.
Published: (2025)

Defense Against Prompt Injection Attack by Leveraging Attack Techniques
by: Chen, Yulin, et al.
Published: (2024)

Federated Learning: Attacks, Defenses, Opportunities, and Challenges
by: Shirvani, Ghazaleh, et al.
Published: (2024)

System Password Security: Attack and Defense Mechanisms
by: Shi, Chaofang, et al.
Published: (2025)

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

Quantum Attacks Targeting Nuclear Power Plants: Threat Analysis, Defense and Mitigation Strategies
by: Baseri, Yaser, et al.
Published: (2026)

Query Provenance Analysis: Efficient and Robust Defense against Query-based Black-box Attacks
by: Li, Shaofei, et al.
Published: (2024)

JNI Global References Are Still Vulnerable: Attacks and Defenses
by: He, Yi, et al.
Published: (2024)

An Attack-Driven Incident Response and Defense System (ADIRDS)
by: Lai, Anthony Cheuk Tung, et al.
Published: (2025)

Enhanced MLLM Black-Box Jailbreaking Attacks and Defenses
by: Zhong, Xingwei, et al.
Published: (2025)

Non-control-Data Attacks and Defenses: A review
by: Chong, Lei
Published: (2025)

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

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
by: Copae, Danut-Valentin, et al.
Published: (2025)

Membership Inference Attacks and Defenses in Federated Learning: A Survey
by: Bai, Li, et al.
Published: (2024)

Simulation of Multi-Stage Attack and Defense Mechanisms in Smart Grids
by: Sen, Omer, et al.
Published: (2024)

Distributed Backdoor Attacks on Federated Graph Learning and Certified Defenses
by: Yang, Yuxin, et al.
Published: (2024)

Backdoor-Powered Prompt Injection Attacks Nullify Defense Methods
by: Chen, Yulin, et al.
Published: (2025)

Cybersecurity AI: Evaluating Agentic Cybersecurity in Attack/Defense CTFs
by: Balassone, Francesco, et al.
Published: (2025)

Subgraph Reconstruction Attacks on Graph RAG Deployments with Practical Defenses
by: Song, Minkyoo, et al.
Published: (2026)

System Prompt Extraction Attacks and Defenses in Large Language Models
by: Das, Badhan Chandra, et al.
Published: (2025)

Benchmarking Knowledge-Extraction Attack and Defense on Retrieval-Augmented Generation
by: Qi, Zhisheng, et al.
Published: (2026)

Backdoor Attacks and Defenses in Computer Vision Domain: A Survey
by: Abbasi, Bilal Hussain, et al.
Published: (2025)

Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges
by: Liu, Enze, et al.
Published: (2024)

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

Attack as Defense: Run-time Backdoor Implantation for Image Content Protection
by: Zhang, Haichuan, et al.
Published: (2024)

Mirage: Defense against CrossPath Attacks in Software Defined Networks
by: Murtuza, Shariq, et al.
Published: (2024)

Deep Learning Model Inversion Attacks and Defenses: A Comprehensive Survey
by: Yang, Wencheng, et al.
Published: (2025)

DAPPER: A Performance-Attack-Resilient Tracker for RowHammer Defense
by: Woo, Jeonghyun, et al.
Published: (2025)

Evaluating the Defense Potential of Machine Unlearning against Membership Inference Attacks
by: Tsiolakis, Theodoros, et al.
Published: (2025)

Removal Attack and Defense on AI-generated Content Latent-based Watermarking
by: Lee, De Zhang, et al.
Published: (2025)

SUAD: Solid-Channel Ultrasound Injection Attack and Defense to Voice Assistants
by: Liu, Chao, et al.
Published: (2025)

Cybersecurity AI: A Game-Theoretic AI for Guiding Attack and Defense
by: Mayoral-Vilches, Víctor, et al.
Published: (2026)

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

Defense against Poisoning Attacks under Shuffle-DP
by: Wang, Siyi, et al.
Published: (2026)

AutoJailbreak: Exploring Jailbreak Attacks and Defenses through a Dependency Lens
by: Lu, Lin, et al.
Published: (2024)

Detection and Defense Against Prominent Attacks on Preconditioned LLM-Integrated Virtual Assistants
by: Chan, Chun Fai, et al.
Published: (2024)

A Scheduling-Aware Defense Against Prefetching-Based Side-Channel Attacks
by: Schlüter, Till, et al.
Published: (2024)

Evaluating Vulnerabilities of Connected Vehicles Under Cyber Attacks by Attack-Defense Tree
by: Mollah, Muhammad Baqer, et al.
Published: (2025)

AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents
by: Debenedetti, Edoardo, et al.
Published: (2024)