Image de couverture de livre

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ginesin, Jacob, von Hippel, Max, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Channel Fault Analysis with Tofu
par: Ginesin, Jacob, et autres
Publié: (2026)

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
par: Ginesin, Jacob, et autres
Publié: (2024)

Verification and Attack Synthesis for Network Protocols
par: von Hippel, Max
Publié: (2025)

SAGA: A Security Architecture for Governing AI Agentic Systems
par: Syros, Georgios, et autres
Publié: (2025)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
par: Weintraub, Ben, et autres
Publié: (2024)

Cross-Service Token: Finding Attacks in 5G Core Networks
par: Chen, Anqi, et autres
Publié: (2025)

Attacks and Mitigations for Distributed Governance of Agentic AI under Byzantine Adversaries
par: Laws, Matthew D., et autres
Publié: (2026)

Backdoor Attacks in Peer-to-Peer Federated Learning
par: Syros, Georgios, et autres
Publié: (2023)

ACE: A Security Architecture for LLM-Integrated App Systems
par: Li, Evan, et autres
Publié: (2025)

MUZZLE: Adaptive Agentic Red-Teaming of Web Agents Against Indirect Prompt Injection Attacks
par: Syros, Georgios, et autres
Publié: (2026)

Quantum Disruption: An SOK of How Post-Quantum Attackers Reshape Blockchain Security and Performance
par: Mallick, Tushin, et autres
Publié: (2025)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
par: Mallick, Tushin, et autres
Publié: (2025)

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
par: Torres, Christof Ferreira, et autres
Publié: (2024)

Quantum-Resistant Networks: A Review of Primitives, Protocols and Best Practices
par: Bertino, Elisa, et autres
Publié: (2026)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
par: Dorfhuber, Florian, et autres
Publié: (2024)

MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security
par: Avizheh, Sepideh, et autres
Publié: (2026)

Formal Verification of Permission Voucher
par: Reaz, Khan, et autres
Publié: (2024)

Runtime Stealthy Perception Attacks against DNN-based Adaptive Cruise Control Systems
par: Zhou, Xugui, et autres
Publié: (2023)

Phantom: General Backdoor Attacks on Retrieval Augmented Language Generation
par: Chaudhari, Harsh, et autres
Publié: (2024)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
par: Li, Hongwei, et autres
Publié: (2025)

DROP: Poison Dilution via Knowledge Distillation for Federated Learning
par: Syros, Georgios, et autres
Publié: (2025)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
par: Deutschmann, Lucas, et autres
Publié: (2023)

Formal Verification for Blockchain-based Insurance Claims Processing
par: Neupane, Roshan Lal, et autres
Publié: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
par: Antón, Anna Lena Duque, et autres
Publié: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
par: Prelipcean, Dumitru-Bogdan, et autres
Publié: (2025)

Towards System-Oriented Formal Verification of Local-First Access Control
par: Jacob, Florian, et autres
Publié: (2026)

Introducing a New Alert Data Set for Multi-Step Attack Analysis
par: Landauer, Max, et autres
Publié: (2023)

Formal Verification of Secure Encrypted Virtualization
par: Weerasena, Hansika, et autres
Publié: (2026)

BadPatches: Routing-aware Backdoor Attacks on Vision Mixture of Experts
par: Chan, Cedric, et autres
Publié: (2025)

SwitchPatch: Physical Adversarial Attack Strategy with Switchable Adversarial Objectives
par: Jiang, Hanrui, et autres
Publié: (2025)

Defensive Prompt Patch: A Robust and Interpretable Defense of LLMs against Jailbreak Attacks
par: Xiong, Chen, et autres
Publié: (2024)

Formal Verification of the Sumcheck Protocol
par: Bosshard, Azucena Garvía, et autres
Publié: (2024)

Formal Verification of the Safegcd Implementation
par: O'Connor, Russell, et autres
Publié: (2025)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
par: Figge, Julius, et autres
Publié: (2026)

Exploring the Robustness and Transferability of Patch-Based Adversarial Attacks in Quantized Neural Networks
par: Guesmi, Amira, et autres
Publié: (2024)

PrismWF: A Multi-Granularity Patch-Based Transformer for Robust Website Fingerprinting Attack
par: Pan, Yuhao, et autres
Publié: (2026)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
par: Huang, Wei, et autres
Publié: (2020)

Automated Formal Verification of a Software Fault Isolation System
par: Sotoudeh, Matthew, et autres
Publié: (2025)

Rethinking Model Inversion Attacks With Patch-Wise Reconstruction
par: Jang, Jonggyu, et autres
Publié: (2023)

AttackMate: Realistic Emulation and Automation of Cyber Attack Scenarios Across the Kill Chain
par: Landauer, Max, et autres
Publié: (2026)