Bridging Threat Models and Detections: Formal Verification via CADP
Published in arXiv preprint arXiv:2509.13035, 2025
This cutting-edge research presents a novel formal verification framework using CADP (Construction and Analysis of Distributed Processes) to bridge the gap between theoretical threat models and practical detection implementations.
Recommended citation: Prelipcean, Dumitru-Bogdan and Dima, Cătălin, "Bridging Threat Models and Detections: Formal Verification via CADP." arXiv preprint arXiv:2509.13035, 2025. https://arxiv.org/abs/2509.13035
