Cover Image

Bridging Threat Models and Detections: Formal Verification via CADP

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Prelipcean, Dumitru-Bogdan, Dima, Cătălin
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
by: Acharya, Nirajan, et al.
Published: (2026)

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

RAG Security and Privacy: Formalizing the Threat Model and Attack Surface
by: Arzanipour, Atousa, et al.
Published: (2025)

S-DAPT-2026: A Stage-Aware Synthetic Dataset for Advanced Persistent Threat Detection
by: Tijjani, Saleem Ishaq, et al.
Published: (2026)

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

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

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

Deep Recurrent Hidden Markov Learning Framework for Multi-Stage Advanced Persistent Threat Prediction
by: Tijjani, Saleem Ishaq, et al.
Published: (2026)

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

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

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs
by: Hu, Wei, et al.
Published: (2023)

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

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

Silent Subversion: Sensor Spoofing Attacks via Supply Chain Implants in Satellite Systems
by: Vanlyssel, Jack, et al.
Published: (2026)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
by: Baumann, Jonathan, et al.
Published: (2026)

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

PsybORG+: Modeling and Simulation for Detecting Cognitive Biases in Advanced Persistent Threats
by: Huang, Shuo, et al.
Published: (2024)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)

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

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
by: Bogdan, Alex, et al.
Published: (2026)

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

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Phishing Webpage Detection: Unveiling the Threat Landscape and Investigating Detection Techniques
by: Kulkarni, Aditya, et al.
Published: (2025)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
by: Saha, Dipayan, et al.
Published: (2025)

Threat Me Right: A Human HARMS Threat Model for Technical Systems
by: Turk, Kieron Ivy, et al.
Published: (2025)

LLM-driven Provenance Forensics for Threat Investigation and Detection
by: Mukherjee, Kunal, et al.
Published: (2025)

Accurate and Scalable Detection and Investigation of Cyber Persistence Threats
by: Liu, Qi, et al.
Published: (2024)

Agentic Knowledge Distillation: Autonomous Training of Small Language Models for SMS Threat Detection
by: ElZemity, Adel, et al.
Published: (2026)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

A Threat Intelligence Event Extraction Conceptual Model for Cyber Threat Intelligence Feeds
by: Al-Yasiri, Jamal H., et al.
Published: (2025)

Evidence-Based Threat Modeling for ICS
by: Ozkan, Can, et al.
Published: (2024)

MDHP-Net: Detecting an Emerging Time-exciting Threat in IVN
by: Liu, Qi, et al.
Published: (2025)

Enabling Privacy-Preserving Cyber Threat Detection with Federated Learning
by: Bi, Yu, et al.
Published: (2024)

Real-time Threat Detection Strategies for Resource-constrained Devices
by: Hamidouche, Mounia, et al.
Published: (2024)

ORCHID: Streaming Threat Detection over Versioned Provenance Graphs
by: Goyal, Akul, et al.
Published: (2024)

INTELLECT: Adapting Cyber Threat Detection to Heterogeneous Computing Environments
by: Magnani, Simone, et al.
Published: (2024)

PTMF: A Privacy Threat Modeling Framework for IoT with Expert-Driven Threat Propagation Analysis
by: Alalade, Emmanuel Dare, et al.
Published: (2025)

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

Facade: High-Precision Insider Threat Detection Using Deep Contextual Anomaly Detection
by: Kantchelian, Alex, et al.
Published: (2024)